|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Валерий Александрович Непомнящий Сопроводительное письмо, А. О. Слисенко->А.П. Ершов, 27.03.1980 к информации о семинаре "Оценка сложности вычислений", который планируется провести с 20 по 23 января 1981 г. в ЛО ИМ. Приложена записка, адресованная В.А. Непомнящему, с просьбой зайти к адресату по поводу этого письма.
Выписка, 21.12.1993из протокола №24 заседания Ученого совета ИСИ СО РАН - об отчете о командировке в Германию В.А. Непомнящего.
"Об одном методе распознавания эквивалентности схем программ и дискретных преобразований"Письмо, 15.08.1967 редактору издательства с просьбой рассмотреть вопрос об издании перевода на русский язык книги С. Гинзбурга "Математическая теория контекстно-свободных языков". Прилагается отзыв А. Гладкого об этой книге.
Отзыв с приложением, 07.05.1984о плане-проспекте книги В.А. Непомнящего и О.М. Рякина "Прикладные методы верификации программ", предлагаемую к изданию в издательстве "Радио и связь". Приложено оглавление книги и план-проспект.
Протокол №28, 13.10.1992заседания Ученого совета ИСИ СО РАН.
Тезисы докладаВ.А. Непомнящий, С.Г. Воробьев, А.А. Сулимов (Новосибирск) "Проблемно-ориентированная система верификации программ".
Тезисы докладаВ.А. Непомнящий, О.М. Рякин "Обобщенный подход к аксиоматической семантике операторов над последовательными файлами".
Письмо, Э. Петерс->А.П. Ершов, 08.05.1973Благодарит за письмо и русский экземпляр Трудов международного симпозиума по теоретическому программированию. Обещает напечатать в формате "Lecture Notes" с предисловием адресата. Посылает для ознакомления свой предметный классификатор.
Протокол №30, 03.11.1992заседания Ученого совета ИСИ СО РАН. Обсуждение вопроса о сохранении ИСИ в качестве самостоятельного института СО РАН.
Выписка, 03.11.1992из протокола №30 заседания Ученого совета ИСИ СО РАН - об утверждении Т.Г. Чуриной соискателем ученой степени кандидата наук.
Выписка, 03.11.1992из протокола №30 заседания Ученого совета ИСИ СО РАН - об утверждении редколлегии сборника "Проблемы теоретического и экспериментального программирования".
Протокол №32 (рукопись), 17.11.1992заседания Ученого совета ИСИ СО РАН.
Письмо, А.П. Ершов->С. В. Яблонский, 23.11.1977Просьба прояснить ситуацию со статьей В.А. Непомнящего, переданной в редакцию более четырех лет тому назад.
Бюллетень (баллотировочный), 17.11.1992для тайного голосования УС ИСИ СО РАН на замещение вакатной должности.
Письмо, Х. Д. Миллс->А.П. Ершов, 01.02.1980с благодарностью за замечания по докладу, сделанные В.Э. Иткиным и В.А. Непомнящим.
Телеграмма, А.П. Ершов->С. В. Яблонский, 02.11.1977Просьба решить судьбу статьи В.А. Непомнящего.
Письмо, В. Л. Темов->А.П. Ершов, 10.04.1974Автор, описывая проблемы с поиском Совета для защиты своей диссертации, просит адресата стать его официальным оппонентом. Это, несомненно, послужит важным фактором в продвижении защиты. /Текст рукописный./
Выписка, 17.11.1992из протокола №32 заседания Ученого совета ИСИ СО РАН - об избрании В.А. Непомнящего на должность зав. лабораторией.
Протокол №3, 17.11.1992заседания счетной комиссии, избранной Ученым советом ИСИ СО РАН для проведения и подсчета голосов тайного голосования на замещение вакантной должности.
1 2 3 4 5 6 7 8 9 10 По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
