|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Николай Николаевич Непейвода Блокнот, 06.10.1983-10.10.1983 Рабочие записи, сделанные во время работы Школы по смешанным вычислениям.
Письмо, А.П. Ершов->Н. Н. Непейвода, 11.02.1985Дает рекомендации по названию и содержанию работы адресата.
Договор, 13.07.1983на перевод с английского книги Д. Гриса "Наука программирования".
Обложка, 03.11.1982-14.02.1983с хронологией работы над статьей.
Обложка, 31.05.1985-09.08.1985с хронологией работы над статьей.
Письмо, А.П. Ершов->В. А. Трапезников, 11.02.1985Подтверждает готовность Н.Н. Непейводы к соисканию степени доктора наук и рекомендует два варианта названия темы его диссертации.
Акт экспертизы, 27.03.1984на статью Н.Н. Непейводы "Преобразования доказательств как преобразования программ".
Статья"Аналоги смешанных и частичных вычислений в логическом подходе"
Письмо, А.П. Ершов->Н. Н. Непейвода, 09.08.1985Просит дать заключение о возможности публикации статьи С. Акамы. /Рукописный и машинописный варианты./
Письмо, 04.11.1981в поддержку создания лаборатории прикладной логики в ИМ СО АН СССР и предложения по ее кадровому составу. /Черновик./
Письмо, А. С. Попов->А.П. Ершов..., 17.03.1983Авторы просят сообщить о сроках поступления в редакцию окончания рукописи перевода книги Д. Гриса "Наука программирования". Посылают копии материалов, присланных Д. Грисом.
Письмо, Н. Н. Непейвода->А.П. Ершов, 24.01.1985Просьба дать отзыв о теме докторской диссертации (предлагается два варианта) для утверждения ее на Ученом совете. Прилагается список основных работ автора по теме диссертации.
Отзыв, Н. Н. Непейвода->А.П. Ершов, 29.08.1985Отрицательное заключение о статье С. Акамы /на двух языках/.
Доклад"Преобразования доказательств как преобразования программ" (2-й вариант).
Отчет, 10.01.1980(?)"International Symposium on Algorithms in Modern Mathematics and Computer Science" - отчет для "Bulletin of the European Association for Theoretical Computer Science (EATCS)", 1980, No. 10.
Доклад"Преобразования доказательств как преобразования программ" (1-й вариант).
Тезисы, 18.09.1979докладов Кречмара, Летичевского, Мазуркевича, Манина, Непейводы, Тыугу и А. ван Вейнгаардена.
Расписание, 08.02.1988отправки докладов на коллоквиум по смешанным вычислениям.
Ответ на анкету, 10.10.1983(?)Тезисы доклада, 16.01.1990-18.01.1990 Логический анализ объектно-ориентированного доказательного программирования
1 2 3 4 5 По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
