Документы, связанные с Анатолий Олегович Буда
-
Письмо А.П. Ершов -> Д.Г. Скордев
16.01.1978
Официальное разъяснение авторами письма интерпретации подписанного протокола, устанавливающего содержание и формы сотрудничества по теме "Теория алгоритмов и ее применение".
-
Письмо А.П. Ершов -> Д.Г. Скордев
16.01.1978
с разъяснениями интерпретации протокола о сотрудничестве по подтеме "Теория алгоритмов и ее применение".
-
Письмо Г.И. Марчук -> П.С. Ораевский
17.01.1978
Просьба разрешить продлить пребывание сотрудника Единого центра математики и механики БАН А.О. Буды на временной работе в штате ВЦ СО АН на три месяца, т.е. до 10 июля 1979 г.
-
Письмо Д.Г. Скордев -> А.П. Ершов
01.02.1978
Сообщает об обсуждении письма адресата по протоколу о сотрудничестве.
-
Письмо А.П. Ершов -> Л. Илиев
07.07.1978
Автор подтверждает плодотворный характер научной командировки Буды А.О. в Новосибирск в течение последних 10 месяцев; дает положительную оценку первым шагам по материализации программы сотрудничества между ВЦ СО АН и Институтом математики и механики БАН. Выражает свою заинтересованность приехать в Софию в рамках программы сотрудничества в 1979 г.
-
Письмо А.П. Ершов -> Б. Сендов
07.07.1978
с отзывом о работе А. Буды и с просьбой опубликовать его статью в Докладах БАН.
-
Письмо А.П. Ершов -> Б. Сендов
07.07.1978
Автор сообщает, что работа Буды А.О. в течение 10 месяцев в ВЦ СО АН в рамках сотрудничества проходила весьма успешно. Подтверждает свое желание приехать в Болгарию на пару недель для выступления с докладами и организационных дел.
-
Письмо А.П. Ершов -> Л. Илиев
07.07.1978
с подтверждением плодотворного характера работы А. Буды в Новосибирске. Положительно оценивает первые шаги по материализации программы двустороннего сотрудничества.
-
Статья А.О. Буда
10.07.1978
А. Буды "Generalized 1.5 Sequential Machine Maps".
-
Отчет рецензента В.К. Сабельфельд
22.08.1978
по статье А. Буды "Generalized 1.5 Sequential Machine Maps".
-
Отчет А.П. Ершов
30.08.1978
о пребывании научного сотрудника Математического института БАН, к.ф.-м.н. Буды А.О. в ВЦ СО АН СССР за период с 10 октября 1977 г. по 10 июля 1978 г.
-
Письмо (рукописное) А.О. Буда -> А.П. Ершов
01.09.1978
Посылает статью для журнала "Кибернетика", рассказывает о своей работе и планах.
-
Письмо А.П. Ершов
04.09.1978
Посылает статью для опубликования в журнале IPL.
-
Почтовая карточка Я. Мёйр -> А.П. Ершов
18.09.1978
Подтверждает получение статьи.
-
Докладная записка А.О. Буда -> А.П. Ершов
09.10.1978
В связи с невозможностью в ранее установленные сроки завершить начатые работы, просит содействовать продолжению своего пребывания в ВЦ СО АН еще на три месяца. /Текст рукописный./
-
Письмо А.О. Буда -> А.П. Ершов
30.10.1978
Автор рассказывает о своих делах; считает полезным приезд В.А. Непомнящего в свете подготовки договора о сотрудничестве; сообщает, что Д. Скордев остался доволен поездкой в Новосибирск. /Текст рукописный./
-
Письмо А.О. Буда -> А.П. Ершов
28.11.1978
Благодарит за приглашение на симпозиум и информацию о нем; предлагает тему для своего выступления. /Текст рукописный./
-
Письмо А.П. Ершов -> Н.С. Фурс
16.01.1979
Посылает для рассмотрения публикации в журнале статью А.О. Буды. Приложена рецензия В.Э. Иткина.
-
Письмо (рукописное) Е.И. Стечкина -> А.П. Ершов
08.02.1979
Автор высказывает пожелания относительно рукописи Альфа-6 и просит разобраться с составом авторов, рассказывает о работе с рукописью Брукса.
-
Письмо А.О. Буда -> А.П. Ершов
22.04.1979
Объяснение основной цели приезда в Новосибирск в ближайшее время. Обсуждение некоторых вариантов приглашения, наиболее удобных для скорейшего оформления визы. Прилагаются телеграфные адреса для связи. /Текст рукописный./
-
Телеграмма А.П. Ершов -> Л. Илиев
23.04.1979
Участие А.О. Буды в работе семинара необходимо. /Текст рукописный./
-
Программа А.П. Ершов
08.06.1979
пребывания А.П. Ершова в Софии во время командировки в Болгарию.
-
Письмо А.П. Ершов -> Л. Илиев
27.07.1979
Информация об Ургенчском симпозиуме и приглашение участвовать в его работе сотрудника института А.О. Буды.
-
Письмо А.П. Ершов -> Д.М. Гвишиани
27.07.1979
директорам институтов для приглашения на Ургенчский симпозиум их сотрудников. /Текст рукописный./
-
Письмо А.П. Ершов -> А.А. Самарский
09.10.1979
Сообщает о переданной книге и о том, что симпозиум прошел удачно и интересно.
-
Письмо (рукописное) А.О. Буда -> А.П. Ершов
11.10.1979
Автор рассказывает о своих встречах, беседах, спрашивает совета о возможности публикаций, передает новости из Софийского университета. /Текст рукописный./
-
Отчет А.П. Ершов
15.11.1979
о командировке в Народную Республику Болгарию зав. лабораторией ВЦ СО АН СССР члена-корреспондента АН СССР А.П. Ершова с 8 по 22 июня 1979 года.
-
Статья А.О. Буда
29.12.1979
"Об опыте езды на двух конях в программировании".
-
Письмо Р. Бэкхаус -> А.П. Ершов
06.06.1980
Просьба рекомендовать А.О. Буду на должность научного сотрудника в Университет Хериота-Ватта. В приложении приводятся детали проекта.
-
Письмо А.П. Ершов -> Р. Бэкхаус
22.06.1980
Рекомендация А.О. Буды на должность научного сотрудника. (Рукописный и машинописный варианты).
-
Письмо А.О. Буда -> А.П. Ершов
26.09.1980
с просьбой помочь получить от Болгарской АН разрешение на работу в Университете Хериота-Ватта.
-
Протокол В.А. Непомнящий
17.11.1980
по итогам научного сотрудничества между Единым центром математики и механики БАН и Вычислительным центром СО АН СССР по подтеме "Теория алгоритмов" темы 1.1 "Математическая логика" за период 1977-1980 гг.
-
Письмо А.П. Ершов -> Д.Г. Скордев
11.12.1980
Благодарит за прекрасный новогодний подарок - книгу адресата "Комбинаторные пространства и рекурсивность в них". Очень высоко оценивает ее и с практической точки зрения и как пример научной добросовестности и математической строгости.
-
Письмо А.О. Буда -> А.П. Ершов
28.12.1980
Рассказывает о проблемах с командировкой в Эдинбург, о желании издать на русском языке книгу Бэкхауза, о событиях в Институте и о домашних делах. /Текст рукописный./
-
Письмо А.О. Буда -> А.П. Ершов
23.01.1981
Посылает книгу Стругацких, рассказывает о своей работе и интересуется, включена ли книга Бэкхауза в план издательства. /Текст рукописный./
-
Международная телеграмма А.О. Буда -> А.П. Ершов
19.04.1981
из Софии с поздравлениями от бывшего сотрудника Отдела программирования А. Буды. /Снабжено рукописным пояснением, которое Андрей Петрович сделал для своей мамы./
-
Отчет А.П. Ершов
16.11.1981
по научному сотрудничеству по теме 1.1./2/. "Математическая логика" за 1981 год и о планах на 1982 год.
-
Письмо А.П. Ершов -> Х. Земанек
12.01.1982
В ответ на письмо от 14.12.1981 - автор рассказывает о собрании Академии наук СССР, на котором представители вычислительной науки были избраны академиками и членами-корреспондентами. Высоко оценивает 122-й том "Lecture Notes in Computer Science". Обнаружил в нем лишь одну ошибку. Просит прислать несколько работ для перевода на русский язык.
-
Программа приема
01.10.1982
специалистов из Болгарской АН Буды А.О. (неделя) и Иванова Л.Л. (4 дня) в Вычислительном центре СО АН СССР.