Сводный каталог книг

w10=
Найдено документов в текущей БД: 2
   З973.2
   К73

    Теория схем программ
[Текст] : монография / В.Е. Котов, В.К. Сабельфельд. - Москва : Наука. Главная редакция физико-математической литературы, 1991. - 248 с. : ил + табл. - Библиогр.: с. 239-245. - ISBN 5-02-013974-2 : 4.80 р.
УДК

Кл.слова (ненормированные):
схемы программ

Аннотация: Проведено систематизированное изложение раздела теоретического программирования, изучающего неинтерпретированные модели программ - их схемы, отражающие структурные особенности программ и в определенной мере абстрагирующиеся от их функциональной сущности. Излагается теория схем программ, являющаяся математической базой для развития методов трансляции программ и создания новых конструкций в языках программирования. Для специалистов в области информатики и прикладной математики.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Сабельфельд, В.К.
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)
   Ч23
   Б29

Информатика: Вводный курс   Ч. 1
[Текст] : в двух частях / Ф. Бауэр, Г.Гооз; Пер. с неМосква МоскваК. Валиева, В.Г. Кербеля и др.; Под ред. А.П. Ершова. - 2-е изд., перераб. и доп. - Москва : Мир. - Пер.загл.: Informatik/ F.L. Bauer, G.Goos. - 1990. - 324 с. : ил., табл. - Библиогр.: с. 681-684. - Предм. указ.: c. 704-733. - ISBN 5-03-002100-0 : 1.60 р.
УДК
ББК 22.19 + 32.97

Кл.слова (ненормированные):
алгоритмические языки -- схемы программ

Аннотация: Учебный курс, представляющий собой перевод с 3-го, полностью переработанного и расширенного издания, написанного известными специалистами (ФРГ). Второе немецкое издание было переведено на русский (М.: Мир, 1976). Изложение отличается глубокой методической проработанностью материала и применением концептуального подхода к преподаванию основ информатики. Фундаментальные понятия программирования вводятся в книге как исходные, получают затем формализацию и раскрываются в виде конструкций языков программирования разного уровня. Много содержательных и изящных примеров решения конкретных задач с использованием алгола-68 и паскаля. В ч. 1 входят предисловия и гл. 1-4. Для студентов, изучающих программирование, научных работников различных специальностей, использующих ЭВМ в своей работе.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Бауэр, Ф.Л.; Гооз, Г.
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)