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

Письмо, А. Раденски->А.П. Ершов, 18.09.1987
с просьбой подготовить отзыв на автореферерат диссертации на тему "Функциональное программирование: FP-системы, замедленные вычисления и недетерминизм".
Автореферат, 18.09.1987
диссертации на соискание ученой степени доктора математических наук А. Раденски "Функциональное программирование: FP-системы, замедленные вычисления и недетерминизм".
Отзыв, А.П. Ершов->А. Раденски..., 20.10.1987(?)
на автореферат А. Раденски "Функциональное программирование: FP-системы, замедленные вычисления и недетерминизм". /Текст рукописный и машинописный./
Письмо, Л. Илиев->А. С. Алексеев, 26.08.1980
Предлагает перенести срок намеченного совещания из-за проблем с размещением участников, т.к. в Софии в это же время будет проходить Всемирный Парламент Мира. Подтверждает приглашение 15 советским участникам.
Отчет, 20.11.1980(?)
о командировке в Болгарию.
Отчет, 20.01.1983
о результатах командирования В.Э.Иткина в Болгарию с целью проведения научной работы по теме "Математическая логика".
Программа, 28.03.1983
приема болгарских ученых в ВЦ СО АН СССР.
Обоснование, 17.10.1983
целесообразности научно-технического сотрудничества между Единым центром математики и механики Болгарской АН и ВЦ СО АН СССР по теме "Математическая логика".
Отчет, 18.11.1985
по научному сотрудничеству между Единым центром математики и механики БАН и ВЦ СО АН СССР по теме "Математическая логика" за 1985 год.
Письмо, П. Бырнев->А.П. Ершов, 22.12.1985-21.01.1986
Центр математики и механики БАН организует национальные школы по программированию для молодых ученых. В 1986 г. школа состоится 14-24.05.1986 в г. Приморскo на берегу Черного моря. Оргкомитет приглашает адресата принять участие в школе в качестве лектора. Расходы по прeбыванию, за исключением транспортных расходов на приезд в Болгарию и отъезд обратно, берет на себя оргкомитет.
Письмо, Л. Илиев->А.П. Ершов, 02.12.1985-24.12.1985
Единый центр математики и механики БАН организует школу по алгебре и логике (23.09-03.10.1986, курорт "Дружба" близ Варны). В ее рамках будет проводиться школа и конференция по математической логике и ее приложениям. Оргкомитет обращается к адресату с официальным приглашением быть лектором школы. Он берет на себя все расходы по пребыванию на период проведения школы.
Рукописное письмо, А. Раденски->А.П. Ершов, 05.11.1985
Автор признается, что знает адресата не только по его многочисленным работам, но и лично - встречался с ним в Софии, Приморском и Новосибирске. Посылает в знак признательности свою книгу "Введение в программирование".

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


Назад

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