Документы, связанные с Марк Борисович Трахтенброт

Рабочая карточка, 01.01.1972
для заполнения в течение года по результатам работ.
Письмо, М. Б. Трахтенброт->А.П. Ершов, 30.09.1983
Просит опубликовать в IPL свою статью "Эквивалентные преобразования рекурсивных программ на основе их схемных свойств". /Текст рукописный./
Выписка, 08.07.1982
из протокола заседания Специализированного научного совета по информатике, где заслушивался отчет А.П.Ершова о поездке в Италию 2-9 мая 1982 г.
Варианты словника, 10.01.1980
предложенные сотрудниками отдела А.П. Ершова.
Расшифровка стенограммы, 27.03.1978
"Беседа о структурном программировании" (машинописный текст с рукописными вставками С.С. Лаврова)
Стенограмма, 27.03.1978
беседы, имевшей место у И.В. Поттосина 27 марта 1978 г. (машинописный текст)
Протокол № 62, 20.06.1975
заседания Ученого совета математического факультета НГУ. На заседании среди прочего обсуждался вопрос о неблагополучном положении на кафедре теоретической кибернетики.
Записка, М. Б. Трахтенброт->А.П. Ершов, 30.09.1983
Сообщает об оставленном заявлении и правилах отправки статей за границу. Передает также полный адрес И. Гессариан.
Список
присутствовавших на семинаре в Новосибирске.
Письмо, 26.01.1972
в редакцию журнала "Кибернетика" с представлением к публикации статьи М.Б. Трахтенброта "Об одной модели обучения с растущей памятью".
Адрес, А. С. Нариньяни ->А.П. Ершов..., 18.04.1981
от сотрудников ВЦ СО АН, завсегдатаев кофе-клуба. /В список авторов не включены лица, не идентифицируемые по подписи. Снабжено рукописным пояснением, которое Андрей Петрович сделал для своей мамы./
Письмо, А.П. Ершов->И. Гессарян, 03.10.1983
Просит прорецензировать статью М.Б. Трахтенброта для публикации в журнале IPL.
Заключение, 27.11.1981
научного совета по информатике о диссертационной работе Г.А. Чинина "Разработка системного программного обеспечения языковыми средствами высокого уровня" на соискание ученой степени кандидата физико-математических наук по специальности 01.01.10.
Список
сотрудников лаборатории систем программирования ВЦ СО АН. /Текст рукописный./
Заключение, 16.02.1982
научно-технического совета по направлению "Информатика" о диссертации А.Л. Семенова "Анализ, выбор и реализация алгоритмов аналитических преобразований на ЭВМ".
Регистрационная карточка, 16.01.1984
на статью М.Б. Трахтенброта "Some equivalent transformations of recursive programs based on their schematic properties".
Обложка, 20.09.1983-07.02.1984
с хронологией работы над статьей.
Отчет, 24.10.1978
о результатах приема ученого из НБР, зав. сектором Единого центра по математике и механике Болгарской АН Д.Г. Скордева в ВЦ СО АН СССР со 2 октября по 9 октября 1978 года.
Выписка из протокола, 18.04.1980
Научно-технического совета отделения информатики ВЦ СО АН СССР о командировке А.П. Ершова в Нидерланды в марте 1980 г.
Распоряжение, 27.10.1980
о проведении конференции по методам трансляции. Приложена программа конференции.

1 2 3
По порядку | По алфавиту | По дате


Назад

Switch to English | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016