Документы, связанные с Виктор Карлович Сабельфельд

Программа приема 01.10.1982

специалистов из Болгарской АН Буды А.О. (неделя) и Иванова Л.Л. (4 дня) в Вычислительном центре СО АН СССР.
Письмо А.П. Ершов -> Ф. Бауэр 27.12.1982

Автор извиняется за долгое молчание. Рассказывает о своей новой идее - "Лексиконе программирования", который рассматривается им как надъязыковое окружение для создания программ, и о переводе книги адресата.
Письмо А.П. Ершов -> Г.И. Попова 14.02.1983

Сообщает о своих действиях и решениях.
Письмо А.П. Ершов -> Б.В. Шабат 14.02.1983

Рекомендует к переводу и изданию книгу Ф. Бауэра и Х. Весснера "Алгоритмический язык и разработка программ".
Письмо А.П. Ершов -> Б.В. Шабат 14.02.1983

Рекомендует к переводу и изданию монографию Ф.Л. Бауэра и Г. Вёсснера "Алгоритмический язык и разработка программ". /Текст рукописный, черновой./
Список В.К. Сабельфельд -> А.П. Ершов 27.06.1983

студентов ММФ 4-го курса НГУ, специализирующихся на кафедре вычислительной математики (программирование) и имеющих средний балл больше 4, с указанием их научных руководителей.
Отзыв на учебное пособие "Сборник индивидуальных заданий по практике на ЭВМ" С.С. Лавров 23.09.1983
Письмо Ф. Бауэр -> А.П. Ершов 03.10.1983

Благодарит за усилия по организации издания перевода книги в издательстве "Мир", удивлен, что А.П.Ершов еще не получил английскую версию, и обещает выяснить причину в издательстве "Шпрингер". Посылает в подарок свою книгу "Theoretical Foundation of Programming Methodology".
Письмо Ф. Бауэр -> А.П. Ершов 02.11.1983

Пишет, что закончил и уже выслал в издательство 2-ю часть книги "Информатика" (3-е издание); обещает ее прислать; благодарит за рецензии; информирует о международной летней школе в Марктобердорфе.
Черновые записи В.К. Сабельфельд 13.02.1984

Использовались при подготовке справки о кафедре для ректора.
Обложка А.П. Ершов 09.03.1984

с хронологией работы над статьей.
Отчет рецензента В.К. Сабельфельд 22.06.1984

о статье "On separation of the emptiness and equivalence problems for program scheme". Мнение рецензента - статья достойна публикации при условии улучшения английского.
Извещение -> А.П. Ершов 19.10.1984

о заседании секции "Информатика, вычислительные системы и АСУ" Учёного совета ВЦ СО АН СССР. /Приписка Андрея Петровича: "Был."/
Рабочие записи А.П. Ершов 03.11.1984

сделанные при подготовке и во время семинара "Логика и программирование".
Рабочие записи А.П. Ершов 19.11.1984

в процессе заседаний на конференции.
Предложения А.П. Ершов 10.01.1985

издательству "Мир" по переводу и изданию в СССР работ ведущих иностранных ученых.
Отзыв А.П. Ершов 11.02.1985

на рукопись В.Н. Касьянова и В.К. Сабельфельда "Сборник заданий по практикуму на ЭВМ".
Статья В.К. Сабельфельд 11.03.1985

"Анализ алгоритмов".
Статья В.К. Сабельфельд 11.03.1985

"Оптимизация программ".
Статья В.К. Сабельфельд 11.03.1985

"Схема программы".
Письмо М. Брой -> А.П. Ершов 23.04.1985

в сопровождение статьи М. Миякавы, присланной на рецензирование.
Обложка А.П. Ершов 27.04.1985

с хронологией работы над статьей.
Письмо А.П. Ершов 07.05.1985

Рекомендует для перевода и издания книгу курса лекций Э.Дейкстры и В.Фейена "Введение в программирование". (Рукописный и машинописный варианты).
Письмо А.П. Ершов -> В.М. Савинков 08.05.1985

с рекомендацией к публикации в сборнике "Прикладная информатика" материала В.А. Непомнящего и В.К. Сабельфельда.
Письмо А.П. Ершов -> В.М. Савинков 08.05.1985

Рекомендует к публикации в "Прикладной информатике" статью В.А. Непомнящего и В.К. Сабельфельда "Трансформационный синтез корректных программ". Дает ей высокую оценку. /Текст рукописный./
Отчет рецензента В.К. Сабельфельд 07.08.1985

о статье "On the calculation of control transition probabilities in a program".
Письмо Б.В. Шабат -> А.П. Ершов 03.09.1985

Сообщает, что наконец-то устранены все препятствия к русскому изданию книги В. Липского "Комбинаторика для программистов". Просит помочь в осуществлении перевода.
Телеграмма А.П. Ершов -> Л.П. Лисовик 20.09.1985

Просит адресата согласовать время своего приезда с В.К. Сабельфельдом. /Текст рукописный./
Рецензия В.К. Сабельфельд 01.11.1985

на работу Р.Бергхаммера "Об использовании композиции в трансформационном программировании".
Телеграмма А.П. Ершов -> Г. Парч 01.11.1985

Просьба рассмотреть на заседании программного комитета заявки по приведенному списку.
Черновик телеграммы А.П. Ершов -> Г. Парч 01.11.1985

Просьба рассмотреть на заседании редакционного комитета перечисленные заявки.
Отчет И.В. Поттосин 10.11.1985

по теме VII советско-французского сотрудничества по проблеме "Информатика".
Обоснование А.П. Ершов 25.11.1985

целесообразности командировки А.П.Ершова и В.К.Сабельфельда в ФРГ.
Сопроводительное письмо А.П. Ершов -> С.И. Будыхо 22.01.1986

к статье В.К. Сабельфельда и Л.В. Черноброд, рекомендуемой для печати.
Письмо А.П. Ершов -> С.И. Будыхо 22.01.1986

Рекомендует для публикации статью В.К. Сабельфельда и Л.В. Черноброд.
Черновик телеграммы В.К. Сабельфельд -> Г. Парч 18.02.1986

о времени высылки статей.
Оглавление 27.02.1986

сборника трудов Вычислительного центра СО АН СССР "Информатика: технологические аспекты".
Научно-техническое задание И.И. Гейци 01.03.1986

А.П.Ершову и В.К.Сабельфельду, выезжающим в командировку в ФРГ на пять дней в апреле 1986 г.
Телеграмма В.К. Сабельфельд -> Г. Парч 03.03.1986

Сообщает, что доклады отправлены 17-го февраля. /Текст рукописный./
Письмо А.П. Ершов -> Ф. Бауэр 31.03.1986

о предстоящей поездке в Мюнхен.
Письмо Е.И. Стечкина -> А.П. Ершов 07.04.1986

Автор спрашивает, как продвигается работа над рукописью "Три урока по Алголу", и просит помочь в получении информации для издания рукописи Э. Дейкстры и Р. Фейена.
Телеграмма В.К. Сабельфельд -> Ф. Бауэр 08.04.1986

Сообщает время и рейс прилета в Мюнхен. Выражает желание провести понедельник в Институте адресата.
Телеграмма Ф. Бауэр -> А.П. Ершов 11.04.1986

с предложением, где остановиться на ночь с воскресенья на понедельник.
Извещение 29.04.1986

заседания НТС по информатике.
Выписка из протокола А.П. Ершов 29.04.1986

НТС по информатике, где заслушивался отчет А.П.Ершова и В.К.Сабельфельда о научной командировке в ФРГ. Приложен список привезенных ими материалов.

Документы, связанные с Виктор Карлович Сабельфельд

Страницы