| Письмо, В.М. Савинков->С. С. Лавров... Замечания редакторов сборника "Прикладная информатика" к статье С.С. Лаврова "Методология программирования"
Письмо, С. С. Лавров->В.М. Савинков, 09.03.1983Предложения о мерах по популяризации сборника "Прикладная информатика"; критика издательства "Финансы и статистика", допускающего переработку здательскими работниками получаемых материалов; несогласие с переделками, внесенными редакторами в статью Лаврова о методологии программирования.
Письмо, В. Ш. Кауфман->С. С. Лавров, 29.04.1983в продолжение дискуссии о смешанных вычислениях, станках с ЧПУ и проекционном подходе
Письмо, С. С. Лавров->В. Ш. Кауфман, 04.05.1983Ответ на письмо от 29.04.1983 в продолжение разговора о методе смешанных вычислений и проекционном подходе
Письмо, С. С. Лавров->В.В. Максимов, 27.02.1985об обилии оценочно-модальных и образно-эмоциональных оборотов речи в работе, подаренной адресатом С.С. Лаврову, и об их объективной необходимости в научных публикациях
Письмо, В.В. Максимов->С. С. Лавров, 14.03.1985Ответ на записку С.С. Лаврова о роли модально-оценочных суждений в научной жизни. Автор предлагает свою давнюю работу о структурно-статистическом принципе моделирования творчества
Письмо, И.Н. Смирнов->С. С. Лавров, 01.06.1985(?)Благодарность за переданные материалы. О неготовности опубликовать заметки С.С. Лаврова "Лингвистика, логика, формализация". Приглашение выступить в Институте философии
Письмо, С. С. Лавров->Б.В.Ракитский, 20.11.1989Комментарии к статье адресатов по вопросам политсоциологии, прочитанной Лавровым в "Вестнике Академии наук СССР". К письму прилагался текст доклада Лаврова на партсобрании ИТА о развитии внутрипартийной демократии
Письмо, А.В. Климов->С. С. Лавров, 19.04.1992Обсуждение опыта работы С.С. Лаврова с ссистемой РЕФАЛ-6
Письмо, C. А. Романенко->С. С. Лавров, 11.06.1992Пояснения и ответы на замечания С.С. Лаврова: о языках Рефал-2, Рефал-5, Рефал Плюс и об "истинном Рефале"
Письмо, C. А. Романенко->С. С. Лавров, 10.07.1992Обсуждение языка Рефал Плюс (ответ на письмо С.Лаврова от 7-11.06.92)
Письмо, C. А. Романенко->С. С. Лавров, 26.07.1992-31.07.1992Ответ на письма С.С. Лаврова от 07.07.1992 и 18-21.07.1992. О соотношении между Рефалом и другими функциональными языками; о языке Схема (Scheme)
Письмо, С. С. Лавров->А.Т. Байкова, 15.10.1997Ответ на рецензию статьи о методах восстановления изображений
Письмо (черновик), С. С. Лавров->А.П. Ершов, 13.02.1972(?)Благодарность за рецензии на рукопись "Введения в программирование"; подробное обсуждение замечаний, сделанных А.П. Ершовым и В.Ф. Меньщиковым
(согласно письму Лаврова от 13.02.1972, хранящемуся в Архиве Ершова, данный черновик так и не был перепечатан и отправлен)
Письмо на бланке, Е. И. Стечкина->С. С. Лавров, 18.01.1980Просьба прислать подписанный договор и ознакомиться с редакционными замечаниями к рукописи. О принятом решении придерживаться начертания языков программирования строчным шрифтом. О непредоставленной в редакцию рецензии А.П. Ершова
Письмо с конвертом, Р. А. Плюшкявичус->С. С. Лавров, 05.09.1974Благодарность за письмо и программу курса; обсуждение курса "Математическая логика и теория множеств"; просьба посоветовать литературу по исчислению программ
Письмо с конвертом, Р. И. Подловченко->С. С. Лавров, 10.08.1991-13.08.1991о текущих и предстоящих делах и об отпуске в Литве
Письмо с приложением, С. С. Лавров->А. Т. Цветков, 19.07.1977в поддержку предложения В.П. Сангажиева о переводе книги Ченя и Ли "Символическая логика и механическое доказательство теорем". В приложении - предложение об издании перевода книги C.-L. Chang, R. Lee "Symbolic logic and mechanical theorem proving"
Приглашение, 01.01.1992(?)на семинар Рабочей группы по языку Рефал 2 апреля 1992
Протокол, 22.03.1972заседания кафедры автоматизации управления вычислительными комплексами ф-та ВМиК МГУ. Решение: рекомендовать рукопись С.С. Лаврова "Введение в программирование" к опубликованию
1
2
3
По порядку | По алфавиту | По дате |
