Документы, связанные с Святослав Сергеевич Лавров

Письмо, Т. Я. Данелян->А.П. Ершов, 08.08.1966
Ответы члена оргкомитета семинара "Алгоритмические языки и трансляторы" на вопросы адресата по программе семинара и числу приглашенных докладчиков. /Текст рукописный./
Письмо, Д. Квеселава->С. С. Лавров, 08.12.1969
Просьба к С.С. Лаврову, как зам. председателя Комиссии по вычислительной технике, направить в президиум АН Грузинской ССР заявку на проведение осенью 1970 г. в Тбилиси конференции "Организация математического обеспечения вычислительных центров"
Письмо, С. С. Лавров->А. А. Дородницын, 26.12.1969
Просьба дать указание о приобретении пишущей машинки с латинским шрифтом для нужд лаборатории систем математического обеспечения
Письмо, С. С. Лавров->Р. И. Подловченко, 16.03.2001
Ответ на просьбу переслать повторно письмо
Статья, 01.03.1985(?)
С.С. Лавров. Творчество и алгоритмы. Наука и жизнь, №3, 1985. (ксерокопия, гранки)
Рукопись
Алгоритмы и творчество (компьютерная модель первой системы)
Письмо (рукописн. черновик), Р. И. Подловченко->С. С. Лавров, 20.03.2001
Сопроводительная записка, автор не установлен->С. С. Лавров, 10.01.1970(?)
к алгорифмам на входном языке ТА-1
Письмо на бланке с приложением, Г. Н. Куклин->С. С. Лавров..., 13.01.1970
Просьба подготовить материалы для доклада вице-президента АН СССР на 28-й сессии Совета по координации по вопросу "Автоматизация научных исследований в АН СССР и академиях наук союзных республик" согласно прилагаемому плану. В приложении - план доклада
Письмо (электр.), С. С. Лавров->Р. И. Подловченко, 20.03.2001
Текст "Семантика рекурсивных функций"
Рукопись (машинописная), 01.01.1986(?)
С.С. Лавров. D-аксиоматизация языка "Декарт" (опубликована в кн. Прикладная информатика, 1987, вып.1)
Статья (машинописн. черновик с рукописн. правкой), 01.01.1986(?)
Формализация, лингвистика, логика (Семиотика и информатика, вып. 27, 1986)
Письмо (электр.), С. С. Лавров->Р. И. Подловченко..., 11.03.2001-20.03.2001
Поздравление с 70-летием
Письмо с приложением, А. И. Лукаш->С. С. Лавров, 17.01.1970
Просьба рассмотреть работу "Формирование в программах массивов с заранее неизвестным числом компонент" на предмет публикации ее в сборнике "Алгоритмы и алгоритмические языки", главным редактором которого являлся С.С. Лавров. В приложении - статья и акт экспертизы
Письмо на бланке с приложением, Д. К. Лисенбарт->С. С. Лавров, 19.01.1970
Заказ №795 на написание статей для Энциклопедии кибернетики "Динамическое распределение памяти", "Программирование эвристическое". Прилагается авторская карточка для заполнения
Письмо, А.П. Ершов->С. С. Лавров, 11.09.1967
с несколькими просьбами в отношении литературы.
Письмо, С. С. Лавров->Д. К. Лисенбарт
о невозможности выполнить просьбу редакции о написании статей для Энциклопедии кибернетики с объяснением причин и рекомендацией подходящих кандидатур
Письмо (электр.), С. С. Лавров->Р. И. Подловченко, 20.03.2001
о статье для журнала "Программирование"
Замечания и предложения, 28.01.1986
по программе "Основы информатики и вычислительной техники для средней общеобразовательной школы"
Корректура с рукописной правкой, 18.02.1986
Представление и использование знаний в автоматизированных системах (Микропроцессорные средства и системы, 1986, №3)

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49
По порядку | По алфавиту | По дате


Назад

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