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

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

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