|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Виктор Карлович Сабельфельд Рабочие записи Сотрудники лаборатории написали свои заявки на командировки для сводной заявки лаборатории.
Выписка, 07.12.1993из протокола №23 заседания Ученого совета ИСИ СО РАН. Представление В.К. Сабельфельда на государственную научную стипендию Российской Федерации.
Сведения о соискателе, 09.12.1993государственной научной стипендии Российской Федерации Сабельфельде В.К.
Протокол, 21.04.1995заседания счетной комиссии общего сбрания научных сотрудников ИСИ им. А.П. Ершова СО РАН.
Письмо, А.П. Ершов->И. В. Сергиенко, 04.05.1979о защите В.К. Сабельфельда.
Письмо, А.П. Ершов->В.М. Савинков, 08.05.1985Рекомендует к публикации в "Прикладной информатике" статью В.А. Непомнящего и В.К. Сабельфельда "Трансформационный синтез корректных программ". Дает ей высокую оценку. /Текст рукописный./
Письмо, Б. В. Шабат->А.П. Ершов, 03.09.1985Сообщает, что наконец-то устранены все препятствия к русскому изданию книги В. Липского "Комбинаторика для программистов". Просит помочь в осуществлении перевода.
Семинар БЕТА/С-27, 30.09.1971М.И. Шварцман продолжает доклад о проекте внутреннего языка. Идет оживленная дискуссия.
Письмо, А.П. Ершов->Ю. И. Янов, 04.05.1979Просьба согласиться оппонировать работу В.К.Сабельфельда.
Список, 07.12.1993научных трудов В.К. Сабельфельда.
Предложения, 29.06.1988к плану редподготовки по издательству НГУ на 1989-й год. Рекомендуется включить в план издания учебное пособие В.Н. Касьянова и В.К. Сабельфельда "Сборник заданий и упражнений по программированию".
Письмо, А.П. Ершов->Н. С. Фурс, 04.04.1972Предложение опубликовать два интересных обзора.
Письмо, Н. С. Фурс->А.П. Ершов, 17.02.1972Просьба проверить исправления и высказаться о целесообразности публикации "Письма в редакцию" В.К. Сабельфельда; просьба подготовить материал в юбилейный выпуск "Кибернетики" и выяснить впечатления А.А. Ляпунова о поздравлениях в его честь.
Фотография, 02.07.2001-06.07.2001Июль 2001. Международная конференция "Перспективы систем информатики". Слева направо: В.К. Сабельфельд, Р.И. Подловченко, С.С. Лавров, А.Н. Томилин, И.В. Поттосин.
Отчет, 28.11.1986"Исследование методов трансляции и способов описания языков программирования".
Извещение, 19.10.1984о заседании секции "Информатика, вычислительные системы и АСУ" Учёного совета ВЦ СО АН СССР. /Приписка Андрея Петровича: "Был."/
Письмо, А.П. Ершов->Б. К. Розен, 14.05.1981Просит адресата прорецензировать статью В.К. Сабельфельда "The tree equivalence of linear recursive schemata in polynomial-time decidable". Посылает свою статью, по которой планирует прочитать доклад на конференции MFCS'81. Просит дать ссылки на современные работы по этой тематике. /Рукописный и машинописный варианты./
Телеграмма, Р. И. Подловченко->А.П. Ершов, 21.09.1977В.К. Сабельфельд может приехать в указанное адресатом время.
Отчет, 10.11.1985по теме VII советско-французского сотрудничества по проблеме "Информатика".
Письмо, А.П. Ершов->Ф. Л. Бауэр, 27.02.1987Рассказывает о своей поездке в Швейцарию по приглашению Н.Вирта, о здоровье. Благодарит за письмо и, особенно, за предложение Мюнхенского клуба оплачивать взносы за А.П. Ершова в "Эй-Си-Эм" в течение пяти лет. Но как действительный член АН СССР он имеет право на это от своей Академии наук. Сообщает, что В.К. Сабельфельд уже приступил к переводу третьей редакции "Информатики". /Текст рукописный./
1 2 3 4 5 6 7 8 9 10 11 По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
