|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Ленинградский (Санкт-Петербургский) государственный университет Письмо с приложением, С. С. Лавров->А. Т. Цветков, 19.07.1977 в поддержку предложения В.П. Сангажиева о переводе книги Ченя и Ли "Символическая логика и механическое доказательство теорем". В приложении - предложение об издании перевода книги C.-L. Chang, R. Lee "Symbolic logic and mechanical theorem proving"
Сообщение, Г. С. Цейтин->А.П. Ершов..., 12.09.1978о заседании Рабочей группы ВНТК. В приложении - выписка из протокола заседания, информационный материал по демонстрации ленинградского транслятора с Алгола 68 и по спецификации стандартного машинного представления русского варианта Алгола 68.
Аттестация, 01.09.1979(?)болгарской аспирантки Чулковой Цветелины Бочевой по итогам первого года пребывания в ЛГУ (рукописный черновик)
Фотография, 20.11.1979А.П. Ершов в президиуме конференции по семантике языков программирования в Петродворце.
Извещение, А. Н. Маслов->А.П. Ершов, 05.02.1981о заседании ВНТК (Ленинград, февраль 1981). В приложении - предварительный план заседания и памятка для участников.
Протокол заседания, 20.02.1981ВНТК (Ленинград, февраль 1981). В приложении - заключение о реализации "Системы программирования Алгол 68/ЛГУ на ЕС ЭВМ".
Письмо, А.П. Ершов->В. Б. Алесковский, 06.03.1981с просьбой оказать содействие разработчикам системы А68/ЛГУ в их работе и в подготовке пользователей к использованию этой системы.
Письмо, А.П. Ершов->В. Н. Цой, 06.03.1981с просьбой оказать содействие в завершении работ по системе А68/ЛГУ.
Протокол № 1, 05.11.1982технического совещания представителей ЛНПО "Красная заря" МПСС, ВЦ СО АН СССР и ЛГУ им. А.А. Жданова, где рассматривались направления работ в области организации промышленного производства программного продукта, унификации и стандартизации его разработки.
Протокол, 05.11.1982технического совещания представителей ЛНПО "Красная заря", ВЦ СО АН и ЛГУ. /Текст рукописный, черновой./
Протокол № 6, 15.11.1984технического совещания по результатам работы технологической линейки Р-технологии в Производственном объединении им. С.П. Королева.
Проект технического задания, 01.01.1985(?)"Школьный вычислительный комплекс КЛАСС", подготовленный НИИСчетмаш и лабораторией терминальных систем ЛГУ
Протокол, 05.11.1985технического совещания представителей ЛНПО "Красная заря", ВЦ СО АН и ЛГУ.
Письмо, 13.10.1987в Ленинградский обком КПСС с высокой оценкой работы коллектива НИИ "Звезда" в тесном взаимодействии с учеными и преподавателями ЛГУ. /Рукописный и машинописный варианты./
Замечания, А. Н. Терехов->А.П. Ершов, 01.12.1987(?)"О школьном курсе информатики".
Предложения, Г. С. Цейтин->А.П. Ершов, 28.02.1988к "Концепции использования ЭВМ в средней школе".
1 2 По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
