|
|||||||||||
Документы, связанные с Юрий Владимирович Матиясевич План, 03.09.1980 размещения участников конференции в ДО "Жилвинас" (состояние на 3 сентября).
Письмо, Г. Е. Минц->А.П. Ершов, 17.05.1982В ответ на письмо А.П. Ершова от 14 мая автор поддерживает идею о написании рабочего предложения по изданию книги Берандрегта, предлагает свою помощь в переводе книги.
Письмо, Г. Е. Минц->А.П. Ершов, 17.09.1982Сообщает грустную весть о гибели в автомобильной катастрофе С.Ю. Маслова. Выяснилось, что перевод книги Барендрегта уже поручен другому человеку, а взамен предложено составить сборник по приложениям Лямбда-исчисления в вычислительной науке. Спрашивает мнение А.П. Ершова. /Текст рукописный./
Письмо с приложением, Г. Е. Минц->А.П. Ершов, 23.09.1982Посылает подписанные Матиясевичем предложения об издании сборника переводов "Приложения Лямбда-исчисления к теоретическому программированию". Предлагает подписать их и отправить в Москву. Надеется на приезд А.П. Ершова в ЛОМИ.
Открытка, Ю. В. Матиясевич ->А.П. Ершов, 02.02.1985Поздравления с избранием в академики. Сообщает, что в Ленинграде предполагают провести эксперимент по обучению второклассников программированию, используя в качестве языка обучения ПЛ/1. Это автора очень огорчает, но он не в силах повлиять на выбор. К сожалению, работы Г.А. Звенигородского не находят применения.
Письмо, Ю. В. Матиясевич ->А.П. Ершов, 28.05.1979о тематике симпозиума и списке его участников. /Текст рукописный./
1 2 По порядку | По алфавиту | По дате Назад |
||
Switch to English | Поиск | Расширенный поиск | Папки | Темы |
|