Документы, связанные с Димитър Г. Скордев

Оглавление, 02.11.1980
сборника "Математическая теория и практика систем программного обеспечения", основанного на докладах советско-болгарского совещания (София, 1980 год), и справочная информация о нем.
Письмо, Д. Г. Скордев->А.П. Ершов, 07.01.1986
Автор напоминает, что до начала Летней школы и конференции "Математическая логика и ее приложения" осталось меньше 9 месяцев. Все будут рады встрече с адресатом. Если адресат не имеет ничего против опубликования своего выступления в Трудах конференции, то нужно выслать перечисленные документы в оговоренном виде в указанные сроки.
Письмо, Д. Г. Скордев->А.П. Ершов, 04.11.1980
Автор посылает А.П. Ершову обещанный контрпример.
Письмо, Д. Г. Скордев->А.П. Ершов, 14.09.1979
Автор рекомендует работу своего бывшего ученика для опубликования в IPL. Просит сообщить критические замечания как по существу работы, так и по ее оформлению.
Доклад, 18.05.1987
"An extremal problem concerning the detection of cyclic loops".
Письмо, А.П. Ершов->Д. Г. Скордев..., 02.04.1982
Подготовка советско-болгарского совещания проходит нормально, просьба подтвердить дату и сообщить состав болгарской делегации.
Письмо, А.П. Ершов->Д. Г. Скордев..., 16.01.1978
Официальное разъяснение авторами письма интерпретации подписанного протокола, устанавливающего содержание и формы сотрудничества по теме "Теория алгоритмов и ее применение".
Открытка, А. О. Буда->А.П. Ершов..., 11.02.1985
Сотрудники сектора математической логики ЕЦММ БАН поздравляют адресата с избранием действительным членом АН СССР. Желают дальнейших творческих успехов, крепкого здоровья и большого счастья!
Письмо, Д. Г. Скордев->А.П. Ершов, 14.02.1985
Автор сообщает об изменении места проведения совещания по математической логике; выражает надежду, что статьи для совместного сборника прибыли вовремя; просит прислать отзыв на диссертацию.
Письмо, А.П. Ершов->Д. Г. Скордев, 16.01.1978
с разъяснениями интерпретации протокола о сотрудничестве по подтеме "Теория алгоритмов и ее применение".
Приказ № 44, 13.03.1985
об организации редколлегии советско-болгарского сборника научных трудов "Математическая теория программирования".
Отчет, 24.10.1978
о результатах приема ученого из НБР, зав. сектором Единого центра по математике и механике Болгарской АН Д.Г. Скордева в ВЦ СО АН СССР со 2 октября по 9 октября 1978 года.
Отчет, 15.11.1979
о командировке в Народную Республику Болгарию зав. лабораторией ВЦ СО АН СССР члена-корреспондента АН СССР А.П. Ершова с 8 по 22 июня 1979 года.
Программа, 08.06.1979
пребывания А.П. Ершова в Софии во время командировки в Болгарию.
Письмо, Д. Г. Скордев->А.П. Ершов, 20.09.1978
Сообщает о своей командировке в Новосибирск; дата прилета - 2 октября.
Протокол, 17.11.1980
по итогам научного сотрудничества между Единым центром математики и механики БАН и Вычислительным центром СО АН СССР по подтеме "Теория алгоритмов" темы 1.1 "Математическая логика" за период 1977-1980 гг.
Отчет, 16.11.1981
по научному сотрудничеству по теме 1.1./2/. "Математическая логика" за 1981 год и о планах на 1982 год.
Письмо, А.П. Ершов->Д. Г. Скордев..., 02.04.1982
Просьба подтвердить дату советско-болгарского совещания по математической логике и сообщить предварительный состав болгарской делегации.
Письмо с конвертом, П. Бырнев->А.П. Ершов, 29.04.1978
Автор с радостью готов принять в Болгарии А.П. Ершова и его сотрудников. Оговариваются наиболее удобное время и место командировки.
Письмо, Д. Г. Скордев->А.П. Ершов, 10.03.1984
Выражает сердечную благодарность за замечательную рецензию на диссертацию И. Соскова, защита которой прошла успешно. Самым сильным убеждающим фактором для большинства присутствующих на защите явился отзыв адресата.

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


Назад

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