|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Виктор Карлович Сабельфельд Отзыв, 17.01.1980 руководителя о диссертации В.К. Сабельфельда "Эквивалентные преобразования и оптимизация программ".
Список, 24.10.1986членов нового НТС по информатике. В списке 23 фамилии.
Выписка, 11.05.1986из протокола объединенного заседания семинаров ВЦ СО АН СССР, НФ ИТМ и ВТ АН СССР и НГУ с заключением о докторской диссертации В.Н. Касьянова "Оптимизирующие преобразования программ и их обоснование методами теории крупноблочных схем".
Заключение, 17.11.1987объединенного заседания семинаров "Системное программирование", "Теоретическое программирование" и "Оптимизация и преобразование программ" о диссертации В.Н. Касьянова.
Письмо, М. Брой->А.П. Ершов, 23.04.1985в сопровождение статьи М. Миякавы, присланной на рецензирование.
Письмо, М. Миякава->А.П. Ершов, 28.07.1979Подтверждает прибытие в Новосибирск.
Письмо, Ф. Л. Бауэр->А.П. Ершов, 11.02.1977Автор выражает восторг по поводу перевода "Информатики", выполненного усилиями сотрудников ВЦ СО АН; обещает вскоре прислать первую часть пересмотренной версии LNAL и другие свои работы.
Письмо, А.П. Ершов->М. Миякава, 18.07.1979В преддверии его приезда в СССР обсуждается совместная работа; просьба привезти лампы для overhead projector; поздравление по случаю рождения второй дочки.
Письмо, В. А. Перепелица->А.П. Ершов, 21.07.1975о событиях на кафедре программирования и вычислительной математики в Новосибирском государственном университете.
Протокол №22, 30.11.1993заседания Ученого совета ИСИ СО РАН.
Протокол №23, 07.12.1993заседания Ученого совета ИСИ СО РАН.
Письмо на бланке с приложением, Э. В. Дейкстра->А.П. Ершов, 01.09.1987Автор 10 дней назад вернулся из Голландии, где он два месяца работал над своей книгой. Сожалеет, что закончился годовой визит Э. Хоара с женой, которые в его отсутствие жили в его доме. В приложении (его и соавтора) письменное подтверждение разрешения опубликовать русский перевод их работы, сделанный В.К. Сабельфельдом.
Метериал БЕТА/М-33"Предложение о программировании процедур во Внутреннем языке".
Телеграмма, А.П. Ершов->Л. П. Лисовик, 20.09.1985(?)Просит адресата согласовать время своего приезда с В.К. Сабельфельдом. /Текст рукописный./
Материал БЕТА/М-42, 02.04.1974"Проспект апрельского выпуска Внутреннего языка".
Сопроводительное письмо, А.П. Ершов->О. Б. Лупанов, 19.06.1975к статьям М.Б. Трахтенброта и В.К. Сабельфельда, подготовленным для публикации в "Кибернетическом сборнике".
Письмо, А.П. Ершов->Ю. И. Янов, 10.01.1979Автор благодарит адресата за препринты. Задает несколько вопросов, касающихся деревьев и раскраски вершин графов, советует познакомиться с работами М. Нива. Просит послушать на семинаре в ИПМ или МГУ В.К. Сабельфельда, своего аспиранта, который получил сильные результаты по преобразованиям стандартных схем.
Отзыв, 11.02.1985на рукопись В.Н. Касьянова и В.К. Сабельфельда "Сборник заданий по практикуму на ЭВМ".
Письмо с приложением, Г.Г. Степанов->В. Иссель, 29.11.1974Автор посылает несколько резюме статей, прочитанных на конференции во Франкфурте-на-Одере.
Письмо, Б. В. Шабат->А.П. Ершов, 22.10.1973Согласие на перевод "Информатики" В.К. Сабельфельдом, а редактирование - адресатом.
1 2 3 4 5 6 7 8 9 10 11 По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
