|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Валерий Александрович Непомнящий Письмо, С. А. Рукова->А.П. Ершов, 02.04.1975 Просьба передать авторскую карточку В.А. Непомнящему для заполнения.
Письмо, А.П. Ершов->Д. Г. Скордев..., 02.04.1982Просьба подтвердить дату советско-болгарского совещания по математической логике и сообщить предварительный состав болгарской делегации.
Письмо, 25.11.1976(?)В МК профсоюзов ВЦ СО АН СССР сообщает соображения по очередности и степени нуждаемости сотрудников отделения информатики в связи с предстоящим распределением жилья.
Письмо, 25.11.1976(?)В дирекцию и МК профсоюзов ВЦ СО АН СССР с просьбой выделить две двухкомнатные кваритиры сотрудникам отделения информатики.
Письмо, 25.03.1976(?)В дирекцию и МК профсоюзов ВЦ СО АН СССР с просьбой уделить особое внимание перечисленным сотрудникам отделения информатики в предстоящем распределении жилья.
Письмо, А.П. Ершов->С. И. Будыхо, 24.08.1981Поддерживает исправленный вариант статьи В.А. Непомнящего "Доказательство правильности программ линейной алгебры".
Статья, 11.03.1985"Верификация программ".
Письмо, Х. Еномото->А.П. Ершов, 22.02.1982в сопровождение докладов, представленных на Шестую международную конференцию по технологии программирования и направленных А.П. Ершову на рецензирование.
Рабочие документы, 01.06.1974Темы курсовых работ, предлагаемых кафедрой теоретической кибернетики.
Протокол №9, 21.03.1995заседания Ученого совета ИСИ СО РАН.
Статья, 09.01.1981"Программирование теоретическое". /Черновик./
Статья, 11.03.1985"Динамическая логика".
Статья, 21.01.1981"Программирование теоретическое".
Протокол №10, 04.04.1995заседания Ученого совета ИСИ СО РАН.
Протокол №12, 06.09.1994заседания Ученого совета ИСИ СО РАН.
Протокол №7, 03.03.1992заседания Ученого совета ИСИ СО РАН.
Отчетпо теме "Исследования алгоритмических проблем, разработка машинного поиска логического вывода" за 1971-1975 гг.
Письмо, А.П. Ершов->В.М. Савинков, 15.11.1985Автор поддерживает публикацию статьи В.А. Непомнящего, но поскольку он - сотрудник ВЦ СО АН, формально рецензию можно получить по указанным адресам.
Письмо, В.М. Савинков->А.П. Ершов, 13.11.1985с просьбой организовать рецензирование статьи В.А. Непомнящего и др. "Верификация программ ...".
Письмо, А.П. Ершов->Д. Г. Скордев, 10.02.1978с благодарностью за письмо от 01.02.1978. Согласны со всеми встречными замечаниями по плану сотрудничества, дальнейшие контакты через В.А. Непомнящего.
1 2 3 4 5 6 7 8 9 10 По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
