Документы, связанные с Юрий Владимирович Матиясевич

Письмо, А.П. Ершов->Ю. И. Манин, 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 | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016