|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Святослав Сергеевич Лавров Сообщение, 22.02.1963-23.02.1963 о совещании в Москве по уточнению терминологии Алгола 60.
Письмо, 08.03.1964-10.05.1964Излагает свою точку зрения на средства, облегчающие использование человеком электронных вычислительных машин.
Записка, С. С. Лавров->Э. Хоар, 17.09.1976с вопросом о перспективах развития вычислительной техники и, в связи с этим, многое ли из знаний, полученных студентами сегодня, пригодится им в будущем?
Письмо, 06.05.1961(?)Просьба включить в повестку Четвертого всесоюзного математического съезда сообщение А.П. Ершова и С.С. Лаврова "Об экономии памяти при составлении программ".
Письмо, А.П. Ершов->В. М. Курочкин, 27.01.1964Высказывает свое мнение относительно принятого варианта по АЛГОЛу 60.
Письмо, А.П. Ершов->С. С. Лавров, 09.02.1966Сообщает информацию о Конференции ИФИП. Дает свои комментарии к общему письму в "Литературную газету". Интересуется мнением адресата о возможности написания кандидатской диссертации, отвечающей на приведенные вопросы.
Статьи, 19.05.1991"Перспективы системной информатики" и "Библиотека академика А.П. Ершова" (автор - Г. Шпак) в газете "Наука в Сибири", № 19, май 1991 г. В первой говорится об открытии 27 мая в Доме ученых СО АН международной конференции "Перспективы системной информатики" в честь 60-летия академика А.П. Ершова. Вторая посвящена А.П. Ершову как выдающемуся ученому и разносторонне одаренному человеку, а также его уникальной библиотеке.
Письмо, А.П. Ершов->Г.И. Петрашень, 26.08.1976о подготовке встречи профессоров Э. Дейкстры и Э. Хоара в МИ АН СССР.
Информацияо состоянии подготовки всесоюзной конференции "Автоматизация производства пакетов прикладных программ и трансляторов".
Рабочая программа, 15.11.1983-17.11.1983Всесоюзного совещания по системам программирования ЭВМ, 15-17.11.1983, Москва, МГУ.
Список (проект), 10.09.1979членов программного комитета конференции.
Рабочая записка, 14.04.1983"К вопросу о переносимости ОС".
Рабочие записи, 18.05.1969-25.05.1969сделанные на заседаниях совещания в Ленинграде.
Записка, С. С. Лавров->А.П. Ершов, 23.06.1981о трансформационных преобразованиях.
Ответ, 19.05.1982С.С. Лаврова.
Записка, А. Н. Маслов->А.П. ЕршовПросьба попросить С.С. Лаврова сформировать Рабочую группу.
Письмо, Л. Н. Королев->С. С. Лавров, 22.02.1972Замечания по рукописи книги С.С. Лаврова "Введение в программирование". Приводится ряд причин, по которым, по мнению автора, книгу нельзя рекомендовать к изданию в качестве учебного пособия; предложение обсудить сложившуюся ситуацию
Письмо, А.П. Ершов->С. С. Лавров, 11.09.1968Автор сообщает, что у него появилась идея подготовить доклады для конференции о программировании на Конгрессе ИФИП. Называет предполагаемых докладчиков.
Приказ, 09.07.1981"О проведении всесоюзной научной конференции "Синтез, тестирование, верификация и отладка программ" (сентябрь 1981 года; Рига) и Приложение (состав оргкомитета) к нему.
Рукописькниги "Введение в теоретическое программирование" с замечаниями С.С. Лаврова и реакцией на них А.П. Ершова.
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 | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
