|
|||||||||||
Документы, связанные с Святослав Сергеевич Лавров Письмо, Т. Я. Данелян->А.П. Ершов, 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 | Поиск | Расширенный поиск | Папки | Темы |
|