|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Виктор Карлович Сабельфельд Черновик доклада, 01.07.1974-26.07.1974 "Внутренний язык в многоязыковой системе программирования как средство формализации семантики входных языков", представленного на конференцию "Формализация семантики языков программирования и конструкция компиляторов" (ГДР, Франкфурт-на-Одере, 22-28.09.1974). /Текст рукописный./
Оттиск статьи"Внутренний язык в многоязыковой системе программирования как средство формализации семантики входных языков" из немецкого журнала "Elektronische Informationsverarbeitung und Kybernetik", 11 (1975), 4 - 6. /На русском языке./
Уведомление, 04.10.1977об объединенном семинаре ВЦ СО АН, НФ ИТМ и ВТ и кафедры вычислительной математики НГУ.
Черновик телеграммы, А.П. Ершов->Г. Парч..., 18.02.1986о времени высылки статей.
Программа, 13.06.1980предварительная приема научного сотрудника Математического института БАН к.ф.-м.н. А.О. Буды. Продолжительность командировки - 7 дней.
Протокол №18, 05.03.1991заседания Ученого совета ИСИ СО РАН.
Программа, А.П. Ершов->Г. И. Марчук, 28.08.1978приема профессора Д. Бьорнера (Дания).
Регистрационная карточка, 22.10.1981на статью "The tree equivalence of linear recursive schemata is polinomial-time decidable".
Стенограмма, 26.04.1982Окончательный вариант стенограммы заседания специализированного совета Д 002.10.02 при ВЦ СО АН СССР по поводу защиты диссертации Б.Н. Островского "Построение языково-ориентированных анализаторов с помощью смешанных вычислений".
Статья"Математика и информатика". /Перевод на русский язык статьи Ф. Бауэра "Mathematik und Informatik"./
Письмо, Ф. Л. Бауэр->А.П. Ершов, 03.10.1983Благодарит за усилия по организации издания перевода книги в издательстве "Мир", удивлен, что А.П.Ершов еще не получил английскую версию, и обещает выяснить причину в издательстве "Шпрингер". Посылает в подарок свою книгу "Theoretical Foundation of Programming Methodology".
Протокол №1, 22.02.1994заседания счетной комиссии, избранной Ученым советом ИСИ СО РАН для проведения и подсчета голосов тайного голосования по выдвижению на должность.
Индивидуальный план, 01.10.1974-01.10.1978аспиранта В.К. Сабельфельда.
Записка, В. К. Сабельфельд->А.П. Ершов, 06.03.1987Просьба послать статью В.К. Сабельфельда и Л.В. Черноброд в другое место, так как ее следы затерялись.
Письмо, А.П. Ершов->Ф. Л. Бауэр, 30.07.1986Автор рассказывает о попытке два года назад издать книгу Бауэра и Вёсснера и о нынешней ситуации в издательстве "Мир". Предлагает взамен издать монографию "Информатика", третью редакцию, в переводе В.К. Сабельфельда.
Программа пребывания, 21.11.1977пребывания научного сотрудника Математического института Болгарской АН к.ф.-м.н. Буды А.О. в ВЦ СО АН СССР за период 10 октября 1977 г. по 10 апреля 1978 г.
Протокол №1, 21.01.1992заседания Ученого совета ИСИ СО РАН.
Протокол, 21.01.1992заседания счетной комиссии, избранной Ученым советом ИСИ СО РАН для проведения и подсчета голосов тайного голосования по выдвижению на должность снс.
Отчет, 16.11.1981по научному сотрудничеству по теме 1.1./2/. "Математическая логика" за 1981 год и о планах на 1982 год.
Извещение, 29.04.1986заседания НТС по информатике.
1 2 3 4 5 6 7 8 9 10 11 По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
