С.С. Лавров. Как мы программируем?

"О решении систем уравнений"

доклада на семинаре ИСЭП, сделанный С.С. Лавровым. Ю.В. Матиясевич. "Вещественные числа и ЭВМ"

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

Модель "Элементарное программирование" (рукописный черновик и распечатка)

"Методологические и технические вопросы диалоговых систем" /текст машинописный/

к проекту отдельного учебного плана для подготовки специалистов по информатике

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

О прикладной математике и ЭВМ

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

о роли вычислительных машин и о труде программиста /в форме ответов на вопросы/

С.С. Лавров. Прикладная математика /ксерокопия/

Методология программирования - 2 /фрагмент/

"С-аксиоматизация" /распечатки с рукописной правкой, 2 экземпляра/