|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Валерий Александрович Непомнящий Письмо (рукописное), М. Миякава->А.П. Ершов, 06.05.1981 Автор благодарит за руководство и помощь, посылает оттиски своей статьи и обсуждает возможность перевода и публикации статьи о смешанных вычислениях.
План, 30.10.1975научного ознакомления с работами отделения информатики на ноябрь 1975 г. для М. Миякавы.
ПредложенияВЦ СО АН СССР по научно-техническому сотрудничеству по теме VII, подтема I "Теория программирования" на 1986-1987 гг.
Письмо, К. Калюд->А.П. Ершов, 16.10.1986Просит опубликовать статью "Super-exponentials non-primitive recursive, but rudimentary" в журнале IPL. Ссылается на рекомендацию В.А. Непомнящего.
Отчет, 25.04.1980о работе доцента Д.Н. Тодороя на факультете повышения квалификации НГУ.
Письмо, А.П. Ершов->Д. Г. Скордев..., 16.01.1978Официальное разъяснение авторами письма интерпретации подписанного протокола, устанавливающего содержание и формы сотрудничества по теме "Теория алгоритмов и ее применение".
Протокол №1, 05.01.1995заседания Ученого совета ИСИ СО РАН.
Выписка, 05.03.1986из протокола заседания НТС по информатике об утверждении редколлегии сборника научных трудов "Методы трансляции и конструирования программ".
Письмо, А.П. Ершов->Е. Н. Ильина, 27.09.1984(?)с указаниями о дальнейшей работе по подготовке чистового варианта справки.
Письмо, А.П. Ершов->Д. Г. Скордев..., 02.04.1982Подготовка советско-болгарского совещания проходит нормально, просьба подтвердить дату и сообщить состав болгарской делегации.
Отчет, 10.09.1972о симпозиуме по теории программирования, проходившем в Новосибирске с 7 по 11 агуста 1972 года.
Письмо, Л. Б. Эфрос->И.В. Поттосин, 17.01.1984Просьба запланировать рассмотрение на семинаре по системному программированию представленной к защите диссертационной работы Л.Б. Эфроса "Архитектура и программное обеспечение многомашинных вычислительных комплексов, ориентированных на коллективное использование вычислительных средств".
Письмо, В. А. Успенский->А.П. Ершов, 13.01.1972Договоренность о докладе В.А. Непомнящего на семинаре по вычислимым функциям.
Заметкикоторые делал автор во время слушания докладов.
Адрес, А. С. Нариньяни ->А.П. Ершов..., 18.04.1981от сотрудников ВЦ СО АН, завсегдатаев кофе-клуба. /В список авторов не включены лица, не идентифицируемые по подписи. Снабжено рукописным пояснением, которое Андрей Петрович сделал для своей мамы./
Отчет"Проблемы теории программирования" (международный симпозиум, Новосибирск).
Письмо, Г. Бончев->А.П. Ершов, 16.04.1982В ответ на письмо от 02.04.82 - автор подтверждает дату совещания, благодарит за приглашение в качестве гостя.
Отзыв, А.П. Ершов->А. Раденски..., 20.10.1987(?)на автореферат А. Раденски "Функциональное программирование: FP-системы, замедленные вычисления и недетерминизм". /Текст рукописный и машинописный./
Отчет рецензента с приложением, 04.04.1984о статье "PDL with Data Constants". Приложен подробный комментарий.
Титульный лист и оглавление, 27.03.1987книги В.А. Непомнящего и О.М. Рякина "Прикладные методы верификации программ".
1 2 3 4 5 6 7 8 9 10 По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
