|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Виктор Карлович Сабельфельд Письмо, Ф. Л. Бауэр->А.П. Ершов, 02.11.1983 Пишет, что закончил и уже выслал в издательство 2-ю часть книги "Информатика" (3-е издание); обещает ее прислать; благодарит за рецензии; информирует о международной летней школе в Марктобердорфе.
Постановление, В. А. Коптюг->А.П. Ершов, 16.02.1982о проведении всесоюзного семинара "Оптимизация и преобразование программ" в Новосибирске 4-6 мая 1982 г.
Рецензия, А.П. Ершов->А.В. Попов, 23.04.1976на книгу Ф. Бауэра, Р. Гнаца и В. Хилла "Введение в информатику".
Программакурса лекций "Математическое обеспечение ЭВМ" для студентов ММФ (4-й курс, 1984-1985 уч. год), специальность - "прикладная математика"; зимняя сессия.
Письмо, В. Е. Котов->М. М. Кулешов..., 04.05.1990директору гостиницы о поселении участников заседания Комиссии по системному математическому обеспечению.
Плансотрудничества с ГДР на 1977-1980 гг. (сроки, подтемы, люди).
Обложка, 09.03.1984-22.10.1984с хронологией работы над статьей.
Отчет рецензента, 22.08.1978по статье А. Буды "Generalized 1.5 Sequential Machine Maps".
Письмо, В. К. Сабельфельд->А.П. Ершов, 02.11.1979Просит опубликовать в IPL свою статью "The logic-termal equivalence is polynomial-time decidable". Разрешение на отправку статьи за границу получено. /Текст рукописный./
Обложка, 13.05.1981-09.11.1981с хронологией работы над статьей.
Обложка, 27.04.1985-23.09.1985с хронологией работы над статьей.
Выписка из протокола, 13.03.1981о назначении научных руководителей студентам 3-го курса матфака, специализирующимся на кафедре.
Тезисывозможного доклада "Абстрактная вычислимость на основе формальных инвариантов, отражающих историю вычислений" на международном конгрессе математиков 1982 года.
Письмо, Э. В. Дейкстра->А.П. Ершов, 01.09.1987Письменное подтверждение разрешения на публикацию перевода на русский язык работы Э. Дейкстры и В. Фейена "Ein methode van progpammeren"("Введение в программирование"), выполненного В.К. Сабельфельдом.
Варианты словника, 10.01.1980предложенные сотрудниками отдела А.П. Ершова.
Расшифровка стенограммы, 27.03.1978"Беседа о структурном программировании" (машинописный текст с рукописными вставками С.С. Лаврова)
Стенограмма, 27.03.1978беседы, имевшей место у И.В. Поттосина 27 марта 1978 г. (машинописный текст)
Протокол № 62, 20.06.1975заседания Ученого совета математического факультета НГУ. На заседании среди прочего обсуждался вопрос о неблагополучном положении на кафедре теоретической кибернетики.
Заключение, 15.02.1982кафедры вычислитльной математики НГУ о диссертации А.Л. Семенова "Анализ, выбор и реализация алгоритмов аналитических преобразований на ЭВМ".
Рабочая записка, 15.03.1981Расписан почасовой фонд и даны предложения кафедры по плану на 1981-1982 уч. год.
1 2 3 4 5 6 7 8 9 10 11 По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
