|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Валерий Александрович Непомнящий Письмо, А.П. Ершов->В.М. Савинков, 08.05.1985 Рекомендует к публикации в "Прикладной информатике" статью В.А. Непомнящего и В.К. Сабельфельда "Трансформационный синтез корректных программ". Дает ей высокую оценку. /Текст рукописный./
Письмо, А.П. Ершов->В. А.Тузов, 05.05.1969о сроках написания отзыва на его диссертацию.
Письмо, А.П. Ершов->Э. Л. Берлекамп..., 12.03.1976с высокой оценкой вклада профессора Р. Карпа в развитие компьютерной науки.
Телеграмма, А.П. Ершов->А. Хубер, 09.03.1974Просит поставить имя В.А. Непомнящего в качестве соредактора. Других замечаний нет. Обещает прислать письмо по поводу рассылки. /Текст рукописный./
Списокчленов СНС по информатике.
Письмо с приложением, В. Б. Борщев->А.П. Ершов, 20.05.1988Автор в письме добавляет свои комментарии к приложенным материалам диссертации, присланным для обсуждения.
ПредложенияВЦ СО АН СССР по научно-техническому сотрудничеству с Францией по подтеме I темы VII "Теория программирования" на 1986-1987 гг. /Текст, помимо "шапки", рукописный./
Отчет, 10.11.1985по теме VII советско-французского сотрудничества по проблеме "Информатика".
Письмо, А.П. Ершов->Н.А. Карпова, 10.08.1973Рекомендуется статья В.А. Непомнящего "Критерии полноты системы операций в операторных алгоритмах" для опубликования в "Проблемах кибернетики".
Протокол №16, 25.10.1994заседания Ученого совета ИСИ СО РАН.
Протокол №16, 04.07.1995заседания Ученого совета ИСИ СО РАН.
Выписка, 25.10.1994из протокола №16 заседания Ученого совета ИСИ СО РАН - о результатах командировки в Германию В.А. Непомнящего.
Письмо, Д. Г. Скордев->А.П. Ершов, 01.02.1978Сообщает об обсуждении письма адресата по протоколу о сотрудничестве.
Сопроводительное письмо, 12.04.1976и краткие рецензии на статьи для тома "Lecture Notes in Computer Science" с Трудами международного симпозиума по теоретическому программированию, проходившему в Новосибирске, полученные издательством за последний квартал.
Протокол №17, 13.12.1994заседания Ученого совета ИСИ СО РАН.
Фотография, 01.01.1975(?)Непомнящего Валерия Александровича, Ильиной Елены Николаевны, Вальковского Владимира Александровича.
Отзыво работе В.А. Непомнящего "Критерии полноты систем операций в операторных алгоритмах".
Письмо на бланке с приложением, П. Дерансар->А.П. Ершов, 24.03.1988Автор благодарит за встречу в институте во время его визита в январе, высказывает два предложения по дальнейшему сотрудничеству, которые можно обсудить на международном семинаре PLILP-88 в Орлеане (Франция, около Парижа) 16-18 мая. В приложении - информация об этом семинаре.
Отчетстаршего научного сотрудника В.А. Непомнящего.
Письмо, Д. Г. Скордев->А.П. Ершов, 15.11.1985Речь идет о международных конференции и летней школе "Математическая логика и ее приложения". Уточняются место и время проведения. Автор повторно приглашает адреса войти в программный комитет. Просит как можно скорее дать ответ.
1 2 3 4 5 6 7 8 9 10 По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
