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

Письмо, А.П. Ершов->Х. Земанек, 12.01.1982
В ответ на письмо от 14.12.1981 - автор рассказывает о собрании Академии наук СССР, на котором представители вычислительной науки были избраны академиками и членами-корреспондентами. Высоко оценивает 122-й том "Lecture Notes in Computer Science". Обнаружил в нем лишь одну ошибку. Просит прислать несколько работ для перевода на русский язык.
Письмо, А. Раденски->А.П. Ершов, 18.09.1987
с просьбой подготовить отзыв на автореферерат диссертации на тему "Функциональное программирование: FP-системы, замедленные вычисления и недетерминизм".
Письмо, Л. Илиев->Г. И. Марчук, 28.04.1977
Просьба принять с зачислением в штат ВЦ СО АН научного сотрудника Математического института БАН Буду А.О. для работы в области теоретического программирования в рамках двухстороннего сотрудничества. Предполагаемый срок командировки - шесть месяцев, начиная с 1 октября 1977 года. Путевые расходы будут оплачены БАН. /Приписка - "Согласен. Прошу оформить". Г.И. Марчук./
Отчет рецензента, 22.08.1978
по статье А. Буды "Generalized 1.5 Sequential Machine Maps".
Обложка, 23.10.1986-01.12.1986
с хронологией работы над статьей.
Доклад, 23.07.1974
"Конструкторские и организационные аспекты в разработке и внедрении системы программирования Альфа-6". /Текст черновой./
Тезисы
доклада А.О. Буды, А.А. Грановского, А.П. Ершова "Конструкторские и организационные аспекты в разработке и внедрении системы программирования Альфа-6" на конференции "Формализация семантики языков программирования и конструкция компиляторов".
Письмо, А. О. Буда->А.П. Ершов, 09.10.1986
Просит представить свою статью для публикации в журнале IPL. Рассказывает её историю, не согласен с мнением о ней Б.А. Трахтенброта. /Текст рукописный./
Статья, 10.07.1978
А. Буды "Generalized 1.5 Sequential Machine Maps".
Письмо (черновик), А.П. Ершов->Е. И. Стечкина, 20.12.1977
Рассказывает о задуманной книге и о других делах.
Письмо, А.П. Ершов->Д. Г. Скордев..., 16.01.1978
Официальное разъяснение авторами письма интерпретации подписанного протокола, устанавливающего содержание и формы сотрудничества по теме "Теория алгоритмов и ее применение".
Письмо, Г. И. Марчук->П. С. Ораевский, 17.01.1978
Просьба разрешить продлить пребывание сотрудника Единого центра математики и механики БАН А.О. Буды на временной работе в штате ВЦ СО АН на три месяца, т.е. до 10 июля 1979 г.
Телеграмма, А.П. Ершов->А. О. Буда, 12.01.1983
о принятии положительного решения.
Письмо, Г. Е. Цейтлин->В. Е. Котов, 22.12.1975
Сообщение об отправке доклада на русском языке и отзыва на диссертацию А.О. Буды.
Письмо, А.П. Ершов->А. О. Буда, 24.10.1986
Подтверждает получение статьи. /Рукописный и машинописный варианты./
Письмо, А.П. Ершов->Л. Илиев, 07.07.1978
Автор подтверждает плодотворный характер научной командировки Буды А.О. в Новосибирск в течение последних 10 месяцев; дает положительную оценку первым шагам по материализации программы сотрудничества между ВЦ СО АН и Институтом математики и механики БАН. Выражает свою заинтересованность приехать в Софию в рамках программы сотрудничества в 1979 г.
Телеграмма, А. О. Буда->А.П. Ершов, 27.01.1975
Автор сообщает, когда его статья будет в Новосибирске.
Письмо, 04.09.1978
Посылает статью для опубликования в журнале IPL.
Открытка, А. О. Буда->А.П. Ершов..., 11.02.1985
Сотрудники сектора математической логики ЕЦММ БАН поздравляют адресата с избранием действительным членом АН СССР. Желают дальнейших творческих успехов, крепкого здоровья и большого счастья!
Доклад
"Конструкторские и организационные аспекты в разработке и внедрении системы программирования Альфа-6". /Машинописный вариант на русском языке./

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


Назад

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