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

Письмо Д.Г. Скордев -> А.П. Ершов 15.11.1985

Речь идет о международных конференции и летней школе "Математическая логика и ее приложения". Уточняются место и время проведения. Автор повторно приглашает адреса войти в программный комитет. Просит как можно скорее дать ответ.
Выписка А.П. Ершов 05.03.1986

из протокола заседания НТС по информатике об утверждении редколлегии сборника научных трудов "Методы трансляции и конструирования программ".
Приказ А.С. Алексеев 13.03.1986

об организации редколлегии сборника научных трудов "Методы трансляции и конструирования программ".
Письмо К. Калюд -> А.П. Ершов 16.10.1986

Просит опубликовать статью "Super-exponentials non-primitive recursive, but rudimentary" в журнале IPL. Ссылается на рекомендацию В.А. Непомнящего.
Обложка А.П. Ершов 23.10.1986

с хронологией работы над статьей.
Отчет рецензента В.А. Непомнящий 28.11.1986

о статье "Multiprocessor Automata".
Обложка А.П. Ершов 03.12.1986

с хронологией работы над статьей.
Отчет рецензента В.А. Непомнящий 17.12.1986

о статье "Super-exponentials non-primitive recursive, but rudimentary".
Титульный лист и оглавление В.А. Непомнящий 27.03.1987

книги В.А. Непомнящего и О.М. Рякина "Прикладные методы верификации программ".
Отзыв В.А. Непомнящий -> А. Раденски 20.10.1987

на автореферат А. Раденски "Функциональное программирование: FP-системы, замедленные вычисления и недетерминизм". /Текст рукописный и машинописный./
Повестка -> А.П. Ершов 20.10.1987

заседания специализированного совета Д 002.10.02 при ВЦ СО АН СССР.
Протокол №3 В.Е. Котов 18.09.1990

заседания Ученого совета ИСИ СО АН СССР.
Протокол №5 В.Е. Котов 02.10.1990

заседания Ученого совета ИСИ СО АН СССР.
Протокол №10 Ю.П. Машаров 06.11.1990

заседания Ученого совета ИСИ СО АН СССР.
Протокол №18 А.Г. Марчук 05.03.1991

заседания Ученого совета ИСИ СО РАН.
Протоколы № 26, 27-29, 31 (рукопись) И.В. Поттосин 10.06.1991

заседаний Ученого совета ИСИ СО РАН за период с 10.06.1991 по 17.09.1991.
Протокол №2 И.В. Поттосин 28.01.1992

заседания Ученого совета ИСИ СО РАН.
Протокол №4 И.В. Поттосин 11.02.1992

заседания Ученого совета ИСИ СО РАН.
Протокол №5 В.И. Константинов 18.02.1992

заседания Ученого совета ИСИ СО РАН.
Протокол №7 И.В. Поттосин 03.03.1992

заседания Ученого совета ИСИ СО РАН.
Служебная записка В.И. Константинов -> Г.В. Сапрыкина 01.04.1992

по поводу установления надбавок за руководство аспирантами.
Протокол №12 И.В. Поттосин 14.04.1992

заседания Ученого совета ИСИ СО РАН.
Протокол №14 И.В. Поттосин 28.04.1992

заседания Ученого совета ИСИ СО РАН.
Протокол №16 А.Г. Марчук 02.06.1992

заседания Ученого совета ИСИ СО РАН.
Протокол №18 И.В. Поттосин 30.06.1992

заседания Ученого совета ИСИ СО РАН.
Протокол №23 И.В. Поттосин 08.09.1992

заседания Ученого совета ИСИ СО РАН.
Протокол №28 И.В. Поттосин 13.10.1992

заседания Ученого совета ИСИ СО РАН.
Протокол №30 И.В. Поттосин 03.11.1992

заседания Ученого совета ИСИ СО РАН. Обсуждение вопроса о сохранении ИСИ в качестве самостоятельного института СО РАН.
Выписка И.В. Поттосин 03.11.1992

из протокола №30 заседания Ученого совета ИСИ СО РАН - об утверждении Т.Г. Чуриной соискателем ученой степени кандидата наук.

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

Страницы