|
|||||||||||
Документы, связанные с Виктор Карлович Сабельфельд Программа курса лекций "Математическое обеспечение ЭВМ" для студентов ММФ (4-й курс, 1984-1985 уч. год), специальность - "прикладная математика"; зимняя сессия.
Плансотрудничества с ГДР на 1977-1980 гг. (сроки, подтемы, люди).
Тезисывозможного доклада "Абстрактная вычислимость на основе формальных инвариантов, отражающих историю вычислений" на международном конгрессе математиков 1982 года.
Списоксотрудников лаборатории систем программирования ВЦ СО АН. /Текст рукописный./
Письмо, Г. И. Марчук->М. А. ЛаврентьевПросьба предусмотреть участие сотрудников ВЦ СО АН СССР в проводимой в ГДР в сентябре 1974 г. конференции "Формализация семантики языков программирования и конструкция компиляторов".
Образец перевода текстаодной страницы из книги "Informatik", выполненный В.К. Сабельфельдом.
Статья"Математика и информатика". /Перевод на русский язык статьи Ф. Бауэра "Mathematik und Informatik"./
Оттиск статьи"Внутренний язык в многоязыковой системе программирования как средство формализации семантики входных языков" из немецкого журнала "Elektronische Informationsverarbeitung und Kybernetik", 11 (1975), 4 - 6. /На русском языке./
Тезисы доклада"Внутренний язык в многоязыковой системе программирования как средство формализации семантики входных языков", представленного на конференцию (ГДР, Франкфурт-на-Одере, 22-28.09.1974).
Рецензияна статью М. Миякавы для журнала "Acta Informatica".
Рабочие записиСотрудники лаборатории написали свои заявки на командировки для сводной заявки лаборатории.
Списоксеминаров, работавших в Летней школе.
Служебная запискаПросьба предоставить место в детских яслях для сына В.К. Сабельфельда.
Метериал БЕТА/М-33"Предложение о программировании процедур во Внутреннем языке".
Тезисы докладаВ.Н. Касьянов, В.К. Сабельфельд (Новосибирск) "Анализ управляющих и информационных свойств программ, ориентированный на статическую проверку их правильности".
Служебная записка, 01.02.1971Просьба дать указание о включении в заявку ВЦ СО АН СССР выпускников НГУ по приложенному списку.
Письмо, Н. С. Фурс->А.П. Ершов, 08.04.1971Просьба прорецензировать статью В.К. Сабельфельда "Критерий локальности преобразований операторных схем".
Семинар БЕТА/С-27, 30.09.1971М.И. Шварцман продолжает доклад о проекте внутреннего языка. Идет оживленная дискуссия.
Характеристика, 01.12.1971(?)на стажера ВЦ СО АН СССР В.К. Сабельфельда.
Письмо, И. В. Клокачев->А.П. Ершов, 07.02.1972Обсуждение списка участников и даты проведения симпозиума.
1 2 3 4 5 6 7 8 9 10 11 По порядку | По алфавиту | По дате Назад |
||
Switch to English | Поиск | Расширенный поиск | Папки | Темы |
|