Записка (распечатка) С.С. Лавров. Как мы программируем?
Научные записи, 26.06.1985"О решении систем уравнений"
Рукописный конспект, 16.11.1984доклада на семинаре ИСЭП, сделанный С.С. Лавровым.
Ю.В. Матиясевич. "Вещественные числа и ЭВМ"
РукописьС.С. Лавров. Совместимы ли понятия "методы и "творчество"? /рукописный текст с многочисленными пометками А.П. Ершова.
РукописьМодель "Элементарное программирование" (рукописный черновик и распечатка)
Рукопись (фрагмент)"Методологические и технические вопросы диалоговых систем" /текст машинописный/
Сопроводительная запискак проекту отдельного учебного плана для подготовки специалистов по информатике
Статья (машинописн.)Системы программирования
Статья (машинописн.)О прикладной математике и ЭВМ
Тезисы (рукописн.)С.С. Лавров. Как учить программированию
Текст (машинописн.)о роли вычислительных машин и о труде программиста /в форме ответов на вопросы/
Текст (машинописн.)С.С. Лавров. Прикладная математика /ксерокопия/
Черновик статьи (распечатка), 01.10.1983(?)Методология программирования - 2 /фрагмент/
Черновики, 11.09.1980-14.09.1980"С-аксиоматизация" /распечатки с рукописной правкой, 2 экземпляра/
По порядку | По алфавиту | По дате |