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