Документы, связанные с Николай Николаевич Непейвода

Перечень, Н. Н. Непейвода->А.П. Ершов, 05.06.1979
названий кратких (по 5-10 минут) "затравочных" выступлений, предлагаемых автором. /Текст рукописный./
Схема размещения, 22.02.1977
по комнатам участников заседания ВНТК (Ивантеевка, дом отдыха "Спутник").
Справка, 23.12.1986
о Н.Н. Непейводе, командируемом АН СССР в Данию.
Письмо, А. Н. Маслов->А.П. Ершов, 08.07.1977
Извещается о продлении деятельности ВНТК; осуждается вопрос о преподавании языков программирования; предлагается список для рассылки материалов следующего заседания ВНТК.
Список
основных научных работ Н.Н. Непейводы (датированных 1973-1979 гг.). /Текст рукописный./
Письмо с приложениями, А. А. Дородницын->Г. И. Марчук..., 21.07.1977
Сопроводительное письмо к решению Межведомственной комиссии по программному обеспечению о результатах работы, о дальнейших планах, о расширении состава ВНТК.
Телеграмма, А.П. Ершов->Н. Н. Непейвода, 10.06.1981
с инструкциями по поводу приглашения на школу и с просьбой позаботиться о билетах в Москву. /Черновые рукописный и машинописный тексты./
Письмо, Н. Н. Непейвода->А.П. Ершов, 21.12.1986
касающееся личных и научных интересов.
Письмо, Н. Н. Непейвода->А.П. Ершов, 31.08.1984
Согласно предварительной договоренности, автор приводит список своих работ по теме "Дисциплина и анализ доказательного программирования при логическом подходе" и просит дать отзыв для утверждения темы докторской диссертации.
Протокол заседания, 28.04.1977
№ 7 ВНТК (Ростов-на-Дону, сентябрь 1977). Приложены материалы заседания: 1) предложение по переводу однобуквенных символов; 2) проект анкеты по проблемам автоматизации программирования.
Сопроводительное письмо, Н. Н. Непейвода->А.П. Ершов, 27.05.1985
к пригласительным билетам.
Телеграмма, А.П. Ершов->Н. Н. Непейвода, 16.06.1981
Сообщает время прилета и просит позаботиться о запасной лампе для кодоскопа.
Письмо, автор не установлен->А.П. Ершов, 13.07.1983
Автор благодарит за присланную последнюю порцию перевода (по-видимому, книги Гриса) и рассказывает о своей работе над правкой. /Текст рукописный./
Анкета
Н. Н. Непейводы.
Письмо, Д. Е. Кнут->А.П. Ершов, 18.12.1980
Сообщает, что статьи получил; подготовил в нужном формате вступление, свою статью, статью Г.С. Цейтина и список участников; готов взяться за статью А.П. Ершова; пока не смог отредактировать статью Н.Н. Непейводы.
Письмо, Б. В. Шабат->А.П. Ершов, 12.01.1983
Рассказывает о проблемах, возникших в связи с переводом книги Гриса. /Текст рукописный./
Список, А.П. Ершов->А. А. Берс, 09.02.1978
иногородних участников на заседании ВНТК (Новосибирск, февраль 1978).
Повестка дня, 13.02.1978
заседания ВНТК (Новосибирск, февраль 1978).
Письмо с приложением, Ю.М. Сметанин->А.П. Ершов, 25.09.1978
Автор рассказывает о своей диссертации, в которой рассматриваются вопросы экономии памяти. Просит разрешения прислать автореферат и посылает свою статью.
Протокол, 07.05.1987
совместного заседания семинаров "Системное программирование" и "Теоретическое программирование", где был заслушан доклад Н.Н. Непейводы, представляемый к защите в качестве диссертации на соискание ученой степени доктора физико-математических наук.

1 2 3 4 5
По порядку | По алфавиту | По дате


Назад

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