Документы, связанные с Анатолий Олегович Буда

  • Письмо А.П. Ершов -> Л. Илиев 09.06.1975
    Благодарит за внимание и содействие А.О. Буде в его работе над диссертацией. Предлагает создать Рабочую группу для совместных исследований и координированных разработок по теме "Методы конструирования и проверки программ".
  • Письмо А.П. Ершов -> Б. Сендов 09.06.1975
    Издагает свою идею сотрудничества коллективов в области системного программирования. Спрашивает мнение адресата.
  • Письмо А.О. Буда -> А.П. Ершов 19.07.1975
    Сообщает информацию о создании советско-болгарской Рабочей группы и о своей диссертации. /Текст рукописный./
  • Письмо А.О. Буда -> А.П. Ершов 08.08.1975
    Пишет о переговорах с академиком Илиевым по поводу организации советско-болгарской Рабочей группы. /Текст рукописный./
  • Письмо Л. Илиев -> Г.И. Марчук 05.09.1975
    Просьба разрешить А.О. Буде продлить время пребывания в ВЦ СО АН СССР после защиты кандидатской диссертации для изучения литературы и выработки программы совместных научных исследований.
  • Письмо В.П. Кочергин -> Г.И. Марчук 14.10.1975
    Для обеспечения надлежащих условий работы просьба поселить научного сотрудника ИМ БАН Буду А.О., находящегося в командировке в ВЦ СО АН, в общежитие для иностранных специалистов с 1 декабря 1985 г.
  • Отзыв А.П. Ершов 15.10.1975
    научного руководителя о диссертации А.О. Буды "Отношения эквивалентности на классах схем программ".
  • Телеграмма А.О. Буда -> С.Х. Бъчваров 17.10.1975
    Сообщает о своей успешной защите и о "закрытых" сроках А.П. Ершова.
  • Письмо А.П. Ершов -> Л. Илиев 12.11.1975
    Информирует о своих переговорах с академиком А.А. Дородницыным по поводу организации Рабочей группы по теме "Методы конструирования и проверки программ". Высказывает уверенность в плодотворной работе А.О. Буды.
  • Письмо А.П. Ершов -> А.А. Дородницын 12.11.1975
    Просьба обсудить на ближайшем заседании Комиссии по многостороннему сотрудничеству по проблеме "Научные основы вычислительной техники" вопрос об организации Рабочей группы по теме "Методы конструирования и проверки программ".
  • Письмо А.П. Ершов -> Б. Сендов 13.11.1975
    Рассказывает о продвижении вопроса об организации Рабочей группы по методологии программирования. Просит поддержать А.О. Буду.
  • Письмо Г.Е. Цейтлин -> В.Е. Котов 22.12.1975
    Сообщение об отправке доклада на русском языке и отзыва на диссертацию А.О. Буды.
  • Письмо А.О. Буда -> А.П. Ершов 30.03.1976
    Автор рассказывает о текущих делах, о своих выступлениях с докладами, о работе над книгой по конструированию больших программ. Хочет знать, можно ли он приехать в Новосибирск и когда?
  • Письмо А.С. Алексеев -> Л. Илиев 03.05.1976
    с просьбой командировать А.О. Буду в ВЦ СО АН сроком до одного месяца с целью подготовки проектной документации по системе АЛЬФА-6.
  • Письмо А.О. Буда -> А.П. Ершов 24.06.1976
    о желании автора приехать в Новосибирск и поработать в проекте АЛЬФА. Называет сроки. /Текст рукописный./
  • Письмо А.О. Буда -> А.П. Ершов 10.09.1976
    Автор делится своими впечатлениями о работе симпозиума, о "новой волне" в теории программирования, о своем выступлении. Рассказывает о переходе в новый сектор в институте, о планах на будущее. /Текст рукописный./
  • Письмо А.О. Буда -> А.П. Ершов 08.10.1976
    Автор сообщает о заключении договора между Болгарской АН и Сибирским отделением АН СССР по проблеме "Алгебра и логика"; рассказывает о новостях и о своем выступлении на коллоквиуме болгарских алгебраистов. /Текст рукописный./
  • Письмо А.О. Буда -> А.П. Ершов 14.11.1976
    Автор высылает адресату план работы "Конструирование больших программ", дает сопроводительную информацию и просит высказать мнение.
  • Письмо А.О. Буда -> А.П. Ершов 07.04.1977
    Автор излагает идеи, касающиеся исследования структурированных схем программ. Просит адресата высказать свое мнение по этому вопросу.
  • Письмо А.О. Буда -> А.П. Ершов 28.04.1977
    Автор сообщает, что вопрос о его командировке согласован; просит прислать согласие ВЦ СО АН для оформления командировки; советуется о сроках.
  • Письмо Л. Илиев -> Г.И. Марчук 28.04.1977
    Просьба принять с зачислением в штат ВЦ СО АН научного сотрудника Математического института БАН Буду А.О. для работы в области теоретического программирования в рамках двухстороннего сотрудничества. Предполагаемый срок командировки - шесть месяцев, начиная с 1 октября 1977 года. Путевые расходы будут оплачены БАН. /Приписка - "Согласен. Прошу оформить". Г.И. Марчук./
  • Письмо А.О. Буда -> А.П. Ершов 14.05.1977
    Содержит характеристику научных интересов П. Петрова, болгарского программиста, находящегося в Академгородке. Сообщается о круге научных интересов автора. Выражатся беспокойство о судьбе отправленных ранее писем.
  • Телеграммы А.П. Ершов -> А.О. Буда 31.07.1977
    Подтверждает академику Илиеву согласие принять Буду А.О. в штат ВЦ СО АН с 1-го октября. Сообщает Буде А.О., что телеграмма Илиеву отправлена. /Тексты рукописные./
  • Программа пребывания А.О. Буда 21.11.1977
    пребывания научного сотрудника Математического института Болгарской АН к.ф.-м.н. Буды А.О. в ВЦ СО АН СССР за период 10 октября 1977 г. по 10 апреля 1978 г.
  • Письмо (черновик) А.П. Ершов -> Е.И. Стечкина 20.12.1977
    Рассказывает о задуманной книге и о других делах.

Страницы

Назад