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

  • Программа В.К. Сабельфельд
    курса лекций "Математическое обеспечение ЭВМ" для студентов ММФ (4-й курс, 1984-1985 уч. год), специальность - "прикладная математика"; зимняя сессия.
  • Метериал БЕТА/М-33 В.К. Сабельфельд
    "Предложение о программировании процедур во Внутреннем языке".
  • Оттиск статьи В.К. Сабельфельд
    "Внутренний язык в многоязыковой системе программирования как средство формализации семантики входных языков" из немецкого журнала "Elektronische Informationsverarbeitung und Kybernetik", 11 (1975), 4 - 6. /На русском языке./
  • Тезисы доклада В.К. Сабельфельд
    "Внутренний язык в многоязыковой системе программирования как средство формализации семантики входных языков", представленного на конференцию (ГДР, Франкфурт-на-Одере, 22-28.09.1974).
  • Образец перевода текста В.К. Сабельфельд
    одной страницы из книги "Informatik", выполненный В.К. Сабельфельдом.
  • Статья Ф. Бауэр
    "Математика и информатика". /Перевод на русский язык статьи Ф. Бауэра "Mathematik und Informatik"./
  • Рецензия В.К. Сабельфельд
    на статью М. Миякавы для журнала "Acta Informatica".
  • Служебная записка А.П. Ершов
    Просьба предоставить место в детских яслях для сына В.К. Сабельфельда.
  • Тезисы доклада В.К. Сабельфельд
    В.Н. Касьянов, В.К. Сабельфельд (Новосибирск) "Анализ управляющих и информационных свойств программ, ориентированный на статическую проверку их правильности".
  • Список
    семинаров, работавших в Летней школе.
  • План
    сотрудничества с ГДР на 1977-1980 гг. (сроки, подтемы, люди).
  • Конспект беседы о структурном программировании на семинаре в ВЦ СО АН СССР
  • Список
    сотрудников лаборатории систем программирования ВЦ СО АН. /Текст рукописный./
  • Тезисы А.П. Ершов
    возможного доклада "Абстрактная вычислимость на основе формальных инвариантов, отражающих историю вычислений" на международном конгрессе математиков 1982 года.
  • Рабочие записи В.К. Сабельфельд
    Сотрудники лаборатории написали свои заявки на командировки для сводной заявки лаборатории.
  • Письмо Г.И. Марчук -> М.А. Лаврентьев
    Просьба предусмотреть участие сотрудников ВЦ СО АН СССР в проводимой в ГДР в сентябре 1974 г. конференции "Формализация семантики языков программирования и конструкция компиляторов".
  • Служебная записка А.П. Ершов 01.02.1971
    Просьба дать указание о включении в заявку ВЦ СО АН СССР выпускников НГУ по приложенному списку.
  • Письмо Н.С. Фурс -> А.П. Ершов 08.04.1971
    Просьба прорецензировать статью В.К. Сабельфельда "Критерий локальности преобразований операторных схем".
  • Семинар БЕТА/С-27 30.09.1971
    М.И. Шварцман продолжает доклад о проекте внутреннего языка. Идет оживленная дискуссия.
  • Характеристика И.В. Поттосин 01.12.1971
    на стажера ВЦ СО АН СССР В.К. Сабельфельда.
  • Письмо И.В. Клокачев -> А.П. Ершов 07.02.1972
    Обсуждение списка участников и даты проведения симпозиума.
  • Письмо Н.С. Фурс -> А.П. Ершов 17.02.1972
    Просьба проверить исправления и высказаться о целесообразности публикации "Письма в редакцию" В.К. Сабельфельда; просьба подготовить материал в юбилейный выпуск "Кибернетики" и выяснить впечатления А.А. Ляпунова о поздравлениях в его честь.
  • Письмо А.П. Ершов -> Н.С. Фурс 04.04.1972
    Предложение опубликовать два интересных обзора.
  • Отчет В.К. Сабельфельд 18.10.1972
    стажера-исследователя В.К. Сабельфельда.
  • Справка Л.И. Нарышева 01.01.1973
    Сабельфельда В.К.
  • Письмо Б. Боде -> А.П. Ершов 02.03.1973
    Благодарит за сердечный прием своего сотрудника Бартша. Считает его визит полезным и плодотворным. Надеется на дальнейшее сотрудничество.
  • Служебная записка 20.03.1973
    Р-005 "Перечень работ, генерирующих выполнение сетевого графика пробной реализации".
  • Служебная записка 02.04.1973
    Р-006 "Сетевой график пробной реализации (первое приближение)".
  • Письмо А.П. Ершов -> Ф. Бауэр 02.05.1973
    Извиняется за долгое молчание, связанное с большой загруженностью в последнее время. Благодарит за присланные книги и рассказывает о работе над переводом и изданием книги "Информатика". Пишет о последних рабочих новостях. Надется, что в 1975 году сможет попасть в Германию по приглашению профессора В. Брауэра.
  • Письмо Ф. Бауэр -> А.П. Ершов 02.10.1973
    Рассказывает о заседании Рабочей группы и о задержке с отправкой своей книги "Информатика". Обещает, что попросит издательство выслать адресату вторую редакцию книги уже без задержки.
  • Письмо Б.В. Шабат -> А.П. Ершов 22.10.1973
    Согласие на перевод "Информатики" В.К. Сабельфельдом, а редактирование - адресатом.
  • Фотография 01.11.1973
    Празднование 15-летия отдела программирования ВЦ СО АН СССР.
  • Служебная записка В.К. Сабельфельд -> Г.И. Марчук 20.11.1973
    В ответ на служебную записку М. Шварцмана - четыре замечания по существу вопроса и выражение твердой уверенности в том, что с трудностями, возникающими в ходе работы над проектом БЕТА, коллектив справится.
  • Письмо А.С. Попов -> А.П. Ершов 28.11.1973
    с информацией, необходимой для заключения договора по изданию перевода "Информатики".
  • Телеграмма А.П. Ершов -> Л.Д. Райков 31.01.1974
    От ВЦ СО АН в защите технического проекта примут участие А.А. Берс и В.Н. Касьянов; просьба забронировать для них гостиницу.
  • Материал БЕТА/М-42 В.К. Сабельфельд 02.04.1974
    "Проспект апрельского выпуска Внутреннего языка".
  • Письмо А.С. Попов -> А.П. Ершов 05.04.1974
    Просьба выслать информацию по вопросам, связанным с изданием переводов книг - "Информатика" (Ф. Бауэра и Г. Гооса) и "Пересмотренное сообщение об АЛГОЛе 68". Информация нужна для оформления договора с переводчиком. /Текст рукописный./
  • Письмо А.А. Дородницын -> Г.И. Марчук 27.06.1974
    Сообщает, что имеется возможность командировать одного специалиста ВЦ СО АН СССР в ГДР по проблеме Протокола о научном сотрудничестве. Просьба выслать выездные документы.
  • Черновик доклада В.К. Сабельфельд 01.07.1974
    "Внутренний язык в многоязыковой системе программирования как средство формализации семантики входных языков", представленного на конференцию "Формализация семантики языков программирования и конструкция компиляторов" (ГДР, Франкфурт-на-Одере, 22-28.09.1974). /Текст рукописный./
  • Телеграмма А.П. Ершов -> А.А. Дородницын 25.07.1974
    Фамилии кандидатов для участия в конференции по мини-машинам, которая состоится в Венгрии; для поездки в ГДР по теме "Программирование и алгоритмические языки" рекомендуется В.К. Сабельфельд; просьба сообщить срок выезда.
  • Окончательный текст доклада В.К. Сабельфельд 29.07.1974
    "Внутренний язык в многоязыковой системе программирования как средство формализации семантики входных языков", представленного на конференцию (ГДР, Франкфурт-на-Одере, 22-28.09.1974).
  • Записи (рукописные) А.П. Ершов 19.08.1974
    Подготовка к лекциям по системе БЕТА в Лунде. /Последняя страница не из Лунда, так как датирована 24.09.1974 и называется "Устное сообщение по внутреннему языку"./
  • Служебная записка А.П. Ершов -> Г.И. Марчук 18.09.1974
    Просьба повысить зарплаты сотрудникам по приведенному списку.
  • План расселения И.В. Поттосин 24.09.1974
    по комнатам сотрудников лабораторий А.П. Ершова и И.В. Поттосина.
  • Индивидуальный план В.К. Сабельфельд 01.10.1974
    аспиранта В.К. Сабельфельда.
  • Письмо с приложением Г.Г. Степанов -> В. Иссель 29.11.1974
    Автор посылает несколько резюме статей, прочитанных на конференции во Франкфурте-на-Одере.
  • Программа 10.12.1974
    заседаний симпозиума "Системное и теоретическое программирование" 10, 11 и 12 декабря 1974 года.

Страницы

Назад