|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Святослав Сергеевич Лавров Письмо, Ю.И. Белявский->С. С. Лавров, 11.01.1967(?) Сопроводительное письмо к работе в сборник "Алгоритмы и алгоритмические языки"
Статья, 26.11.1987С.С.Лаврова "Синтез программ (в частности - в системе СПОРА)".
Фототелеграмма, С. С. Лавров->А.П. Ершов, 25.04.1967Автора беспокоит успех заседания РГ2.1, заместителем председателя которой является А.П. Ершов.
Отзыв, 10.10.1975(?)С.С.Лаврова на диссертацию Ю.М. Волошина "Некоторые задачи, связанные с перечислением термов", представленной на соискание ученой степени кандидата физико-математических наук.
Письмо, А.П. Ершов->А. А. Дородницын, 03.03.1968Информационное письмо членам программного комитета ВКП-1 и протокол его 1-го заседания; в приложении: список тематических разделов; адреса и телефоны членов комитета.
Телеграмма, А.П. Ершов->Е. А. Жоголев, 15.03.1972Е.А. Жоголеву, С.С. Лаврову, Э.З. Любимскому, В.Д. Поддерюгину, В.А. Степанову, Г.К. Столярову, Э.Х. Тыугу, В.С. Штаркману и Е.Л. Ющенко - о смерти Г.И. Кожухина.
Протокол испытаний № 3, 04.07.1980комиссии по проверке функционирования программного обеспечения спецпроцессора МВК "Эльбрус-1".
Письмо, А.П. Ершов->С. С. Лавров, 16.02.1978Автор очень рад тому, что адресат приедет и выступит с докладом на семинаре.
Протокол № 1, 23.06.1980-04.07.1980заседания междуведомственной комиссии по проведению испытаний первой очереди типового программного обеспечения общего назначения МВК "Эльбрус-1" (23 июня 1980 года).
Представление работы"Создание научных основ автоматизации программирования, разработка и внедрение серии трансляторов с алгоритмических языков высокого уровня" к соисканию Государственной премии СССР за 1973 г. в области науки.
Телеграмма, С. С. Лавров->А.П. Ершов, 10.09.1975о невозможности выехать на симпозиум по семейным обстоятельствам.
Письмо на бланке, В. Демиденко->С. С. Лавров..., 05.01.1967Просьба выслать материалы для участия лаборатории теоретической кибернетики Бердянского пед. института в разработке административной системы для транслятора с языка СНОБОЛ-А для ЭВМ "Минск-1"
Отзыв, 19.11.1983на статью И.В. Мацкевича "Быстрая сортировка произвольно распределенных последовательностей"
Письмо с приложением, С. С. Лавров->А. Т. Цветков, 19.07.1977в поддержку предложения В.П. Сангажиева о переводе книги Ченя и Ли "Символическая логика и механическое доказательство теорем". В приложении - предложение об издании перевода книги C.-L. Chang, R. Lee "Symbolic logic and mechanical theorem proving"
Письмо, В. Панкевич->С. С. Лавров, 09.11.1969о ходе работы над переводом книги "Универсальный язык программирования (АЛГОЛ-60)"; просьба помочь узнать о судьбе комментариев к статье Маергойза и Хазанкиной, отправленных в редколлегию сборника "Алгоритмы и алгоритмические языки" и остающихся без ответа уже 3 месяца; замечания о статье Капустиной из того же сборника
Письмо (рукописн. черновик), Р. И. Подловченко->С. С. Лавров, 06.09.1999в т.ч. о публикации "Лекций..."
Аттестат профессора, 21.05.1965по специальности "механика"
ФотографияСвятослав Сергеевич Лавров.1987
РукописьС.С. Лавров. Совместимы ли понятия "методы и "творчество"? /рукописный текст с многочисленными пометками А.П. Ершова.
Замечания, 01.09.1988(?)к проекту "Концепции информатизации образования" (сентябрь 1988) /рукописные/
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 | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
