Документы, связанные с Институт математики и механики с вычислительным центром Болгарской Академии наук

Программа, 10.03.1979(?)
научной командировки А.П. Ершова в Болгарию по линии АН СССР.
Программа, 19.05.1982
совещания по теме "Математическая логика" двустороннего научного сотрудничества Академий наук СССР и Болгарии.
Протокол, 17.11.1980
по итогам научного сотрудничества между Единым центром математики и механики БАН и Вычислительным центром СО АН СССР по подтеме "Теория алгоритмов" темы 1.1 "Математическая логика" за период 1977-1980 гг.
Отчет, 20.11.1980(?)
о командировке в Болгарию.
Список, 08.06.1979
сотрудников сектора математического обеспечения.
Визитная карточка и письмо, Б. И. Пенков->А.П. Ершов, 19.06.1979
с просьбой созвониться, чтобы договориться о встрече.
Телеграмма, А.П. Ершов->П. Бырнев, 06.03.1979
Сообщает о своих планах приехать в Софию и о подготовленных лекциях по смешанным вычислениям.
Письмо с конвертом, П. Бырнев->А.П. Ершов, 29.04.1978
Автор с радостью готов принять в Болгарии А.П. Ершова и его сотрудников. Оговариваются наиболее удобное время и место командировки.
Письмо, Л. Илиев->А.П. Ершов, 21.03.1983
Приглашает адресата принять участие в конференции Союза математиков Болгарии. Просит выступить с докладом по обучению информатике и программированию. Обещает оплатить расходы.
Телеграмма, А.П. Ершов->Л. Илиев, 23.04.1979(?)
Участие А.О. Буды в работе семинара необходимо. /Текст рукописный./
Телеграмма, А.П. Ершов->А. О. Буда, 23.04.1979
"Официальная телеграмма послана Илиеву. На следующей неделе буду в Москве." /Рукописный и машинописный тексты./
Международная телеграмма, А. О. Буда->А.П. Ершов, 19.04.1981
из Софии с поздравлениями от бывшего сотрудника Отдела программирования А. Буды. /Снабжено рукописным пояснением, которое Андрей Петрович сделал для своей мамы./
Международная телеграмма, Д. Г. Скордев->А.П. Ершов, 17.04.1981
из Софии с поздравлениями от Д. Скордева. /Снабжено рукописным пояснением, которое Андрей Петрович сделал для своей мамы./
Статья, 20.04.1988(?)
А.О. Буды "Кооперативные автоматы".
Письмо, Д. Г. Скордев->А.П. Ершов, 01.02.1978
Сообщает об обсуждении письма адресата по протоколу о сотрудничестве.
Письмо, А. С. Алексеев->Л. Илиев..., 03.05.1976
с просьбой командировать А.О. Буду в ВЦ СО АН сроком до одного месяца с целью подготовки проектной документации по системе АЛЬФА-6.
Письмо, А.П. Ершов->Д. Г. Скордев, 11.12.1980
Благодарит за прекрасный новогодний подарок - книгу адресата "Комбинаторные пространства и рекурсивность в них". Очень высоко оценивает ее и с практической точки зрения и как пример научной добросовестности и математической строгости.
Письмо, А. О. Буда->А.П. Ершов, 07.04.1977
Автор излагает идеи, касающиеся исследования структурированных схем программ. Просит адресата высказать свое мнение по этому вопросу.
Письмо, А.П. Ершов->Л. Илиев, 09.06.1975
Благодарит за внимание и содействие А.О. Буде в его работе над диссертацией. Предлагает создать Рабочую группу для совместных исследований и координированных разработок по теме "Методы конструирования и проверки программ".
Письмо, А. О. Буда->А.П. Ершов, 28.04.1977
Автор сообщает, что вопрос о его командировке согласован; просит прислать согласие ВЦ СО АН для оформления командировки; советуется о сроках.

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


Назад

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