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

По порядку | По алфавиту | По дате

Switch to English | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016