Документы, связанные с Святослав Сергеевич Лавров

о международной конференции "Перспективы системной информатики", посвященной 60-летию со дня рождения академика А.П. Ершова, которая состоится 27-30 мая 1991 г. в Академгородке. Перечислены темы обсуждения и члены программного комитета.

Рефат Аппазов. "Следы в памяти и в сердце"

по специальности "Алгоритмика и программирование"

1960-е?

С.С. Лаврова на Съезде ВОИВТ 17 февраля 1989 г. об уставе Общесва /рукописный/.

С.С. Лавров. Как учить программированию

на план-проспект книги А.П. Крюкова и др. "Практическое программирование на ЛИСПе" /книга вышла в издательстве "Радио и связь" в 1991 г./

Автоматический синтез программ (черновики)

Системы программирования

в редакцию журнала "Космические исследования" с обоснованием отказа дать отзыв на статью Б.И. Сухорученкова и рекомендацией обратиться к специалисту в области обработки информации при космических исследованиях Е.С. Макарову

Глава 2: Теоретические вопросы (математические основы) программирования. Глава 3: Прикладная теория алгоритмов (теория программирования). Глава 5: Прикладные системы программирования

синтаксис и семантика языковых конструкций (фрагмент)

1960-е?

Опубликована в "Images of Programming", 1991. (Отдельный оттиск).

Опубликована в журнале "Программирование", 3 (1978), 41-45 /отдельный оттиск/.

С этими сообщениями ИТА АН СССР предполагает выступить на конференции по математической логике и систематическому программированию.

целесообразности участия советской делегации в конференции ТК2 ИФИП по обработке символьной информации в Пизе 5-9 сентября 1966.

Часть записей сделана рукой С.С. Лаврова, дальше - заметки А.П. Ершова.

об универсальной языковой структуре

"Разработка автоматизации технологических средств программного обеспечения" (машинописн.)

С.С. Лавров. Совместимы ли понятия "методы и "творчество"? /рукописный текст с многочисленными пометками А.П. Ершова.