Архив
Архив С.С. Лаврова
Научные труды С.С. Лаврова
Черновики, рукописи, рабочие записки
разных лет

Аналитическая записка, 17.12.1982
"Общая характеристика системы APX-432 фирмы ИНТЕЛ" /текст машинописный/
Гранки и препринт, 20.10.1997
С.С. Лавров. Элементы методологии и технологии программирования прикладных задач. (Сообщения ИПА РАН №112, 1997)
Доклад, 01.05.1964(?)
д.т.н. С.С. Лаврова на открытом заседании Президиума АН СССР: "Развитие исследований по автоматизации программирования", доклады других участников; обсуждение докладов; постановление Президиума АН СССР. - "Вестник Академии наук СССР", №5, 1964 /отдельный оттиск/
Доклад, 01.01.1970(?)
Эвристическое программирование /машинописная рукопись/. Опубликован в Трудах 2-й Всесоюзной конференции по программированию. - Новосибирск: изд. ВЦ СО АН СССР, 1970
Доклад-29.05.2000
С.С. Лавров. "Темные места в теории вычислимости". Материалы к выступлению на семинаре по логике в ПОМИ (бывш. ЛОМИ) 29 мая 2000 г.
Доклад (фрагмент), 17.01.1985
С.С. Лавров, "Автоматизация решения задач на ЭВМ на основе баз знаний" /машинная распечатка/
Заметка, 11.02.1969
"Язык АЛГОЛ 68" /текст машинописный/
Заметка
С.С. Лавров. О стиле мышления /рукописн. и машинописн. экземпляры/
Заметка, 14.03.1985
С.С. Лавров, "Тем, кто ценит время", Литературная газета /вырезка/
Заметка (машинописн. рукопись), 01.12.1983(?)
Программирование в разных измерениях /опубликована в ж. "Знание - сила" №1, 1984/
Заметка (отдельный оттиск), С. С. Лавров->А.П. Ершов
С.С. Лавров об А.П. Ершове («Программирование», № 1, 1990)
Замечания и предложения, 28.01.1986
по программе "Основы информатики и вычислительной техники для средней общеобразовательной школы"
Записи, 17.12.1984
"О внешности и реализации первичных" /машинная распечатка/
Карточка-аннотация, 01.01.1969(?)
к препринту Объединенного института ядерных исследований, Дубна, 1969. С.С. Лавров. Состояние и перспективы развития математического обеспечения ЭВМ.
Комментарий, 17.12.1982
Общий комментарий к двум статьям П. Деннинга
Корректура с рукописной правкой, 18.02.1986
Представление и использование знаний в автоматизированных системах (Микропроцессорные средства и системы, 1986, №3)
Лекция, 05.03.1969
"Состояние и перспективы развития математического обеспечения ЭВМ", прочитанная на Школе ОИЯИ по применению ЭВМ в задачах экспериментальной физики. Алушта, 5-19 мая 1968 /Материалы Школы/
Научная информация (перевод под ред. С.С. Лаврова), 01.03.1965(?)
И.Г. Гоулд, Дж.С. Тутилл "Терминологическая работа IFIP" (перевод Г.С. Шевыдковой, редактор перевода С.С. Лавров) - "Журнал вычислительной математики и математической физики", Т.5 №2, 1965
Научное эссе, 17.05.1985
С.С. Лавров, "Прозрение, или что говорят физики о программировании" (по материалам подборки статей) /машинная распечатка/
Научный доклад, 10.10.1984(?)
С.С. Лавров, "Архитектура баз знаний". Школа по ПО высокопроизводительных вычислительных комплексов новой архитектуры /рукопись и машинописный текст/

1 2 3 4 5
По порядку | По алфавиту | По дате

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