|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Юрий Владимирович Матиясевич Вопросы, В. А. Матулис->А.П. Ершов, 21.11.1979 присланные А.П. Ершову для согласования.
Отзыв, 10.10.1985официального оппонента о диссертации Л.Л. Максимовой "Разрешимые свойства суперинтуиционистских и модальных логик".
Отзыв, 25.02.1985на статью С.А. Абрамова, Е.А. Казьминой и В.А. Кукляевой "Применение методов верификации программ к проверке утверждений о погрешностях"
Открытка, Ю. В. Матиясевич ->А.П. Ершов, 02.02.1985Поздравления с избранием в академики. Сообщает, что в Ленинграде предполагают провести эксперимент по обучению второклассников программированию, используя в качестве языка обучения ПЛ/1. Это автора очень огорчает, но он не в силах повлиять на выбор. К сожалению, работы Г.А. Звенигородского не находят применения.
Письма (электр.), С. С. Лавров->Р. И. Подловченко, 02.05.1999-06.05.1999два письма о теореме Райса и о новом учебнике информатики для 7-11 классов
Письмо, А.П. Ершов->Ю. И. Манин, 04.01.1981Рассказывает о своих мыслях, возникших при виде книги адресата, о проблемах полиграфии и др.
Письмо, А.П. Ершов->А. О. Слисенко, 22.01.1982Сообщает об отправке статьи и предлагает участвовать в двух летних конференциях по выбору.
Письмо, Ю. И. Манин->А.П. Ершов, 30.09.1980Благодарит за внимательную и доброжелательную рецензию в "Природе". Рассказывает о текущих делах. Дает положительную оценку статье Д.Ю. Григорьева.
Письмо, Ю. В. Матиясевич ->А.П. Ершов, 17.10.1985Автор просит Андрея Петровича представить статью своего сотрудника в Доклады АН СССР.
Письмо, Ю. В. Матиясевич ->А.П. Ершов, 04.01.1980Сообщает информацию о подготовке своей статьи. /Текст рукописный./
Письмо, А.П. Ершов->Ю. В. Матиясевич, 08.05.1979Сообщает о симпозиуме; материалы прилагаются. /Рукописный и машинописный варианты./
Письмо, А.П. Ершов->А. Б. Сосинский, 15.08.1985Дает высокую оценку текста Д.К. Фаддеева о работе с микрокалькуляторами и рекомендует его к публикации в журнале "Квант". /Рукописный и машинописный тексты./
Письмо, Ю. В. Матиясевич ->А.П. Ершов, 14.03.1988-15.03.1988Автор сообщает, что передает адресату рукопись статьи своего аспиранта Э. Мусаева. Просит рассмотреть вопрос о возможности ее публикации в журнале "Программирование". /Текст рукописный./
Письмо, Г. Е. Минц->А.П. Ершов, 17.05.1982В ответ на письмо А.П. Ершова от 14 мая автор поддерживает идею о написании рабочего предложения по изданию книги Берандрегта, предлагает свою помощь в переводе книги.
Письмо, Г. Е. Минц->А.П. Ершов, 17.09.1982Сообщает грустную весть о гибели в автомобильной катастрофе С.Ю. Маслова. Выяснилось, что перевод книги Барендрегта уже поручен другому человеку, а взамен предложено составить сборник по приложениям Лямбда-исчисления в вычислительной науке. Спрашивает мнение А.П. Ершова. /Текст рукописный./
Письмо, Ю. В. Матиясевич ->А.П. Ершов, 28.05.1979о тематике симпозиума и списке его участников. /Текст рукописный./
Письмо с приложением, Г. Е. Минц->А.П. Ершов, 23.09.1982Посылает подписанные Матиясевичем предложения об издании сборника переводов "Приложения Лямбда-исчисления к теоретическому программированию". Предлагает подписать их и отправить в Москву. Надеется на приезд А.П. Ершова в ЛОМИ.
План, 03.09.1980размещения участников конференции в ДО "Жилвинас" (состояние на 3 сентября).
Рабочие записи, 19.11.1984в процессе заседаний на конференции.
Распоряжение, 28.02.1980по Научному совету по комплексной проблеме "Кибернетика" АН СССР об утверждении состава Организационного комитета конференции.
1 2 По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
