Документы, связанные с Александр Адольфович Летичевский

  • Письмо А.А. Летичевский 02.11.1974
    о необходимости скорейшего издания "Пересмотренного сообщения об алгоритмическом языке Алгол 68".
  • Письмо А.А. Летичевский -> А.П. Ершов 07.12.1974
    Автор благодарит за согласие участвовать в подготовке юбилейного номера журнала "Кибернетика" и высказывает свои предложения. /Текст рукописный./
  • Письмо А.П. Ершов -> А.О. Буда 25.03.1975
    Сообщает свое расписание, чтобы можно было найти время для встречи и обсуждения работы адресата. Дает рекомендации, одобряет статью для журнала "Theoretical Computer Science".
  • Письмо А.О. Буда -> А.П. Ершов 19.07.1975
    Сообщает информацию о создании советско-болгарской Рабочей группы и о своей диссертации. /Текст рукописный./
  • Письмо А.А. Стогний -> А.П. Ершов 31.03.1977
    Автор благодарит за приглашение на Конференцию ИФИП. Поскольку сам он будет в отъезде, рекомендует для участия своего коллегу А.А. Летичевского.
  • Письмо А.П. Ершов -> А.А. Стогний 08.04.1977
    С просьбой принять профессора П. Пула и, по возможности, оплатить его пребывание в Киеве.
  • Письмо А.А. Летичевский -> А.П. Ершов 11.04.1977
    Автор благодарит на приглашение выступить с докладом на конференции молодых ученых по системному программированию, обязательно приедет. Называет тему своего доклада.
  • Телеграмма А.П. Ершов -> А.А. Летичевский 13.04.1977
    Подтверждает заинтересованность в обмене делегациями по естественному языку. Сообщает время прибытия в Ленинград. Приглашает на Рабочую конференцию ИФИП, которая состоится в Новосибирске.
  • Письмо А.А. Стогний -> А.П. Ершов 15.04.1977
    С просьбой включить в число участников конференции ИФИП И.В. Вельбицкого.
  • Письмо с приложением А.А. Летичевский -> А.П. Ершов 23.07.1977
    Автор высылает приложенную статью В.М. Глушкова, Ю.В. Капитоновой, А.А. Летичевского "О применении метода формализованных технических заданий к проектированию программ обработки структур данных" и просит опубликовать ее в журнале "Программирование".
  • Письмо В.М. Глушков -> Г.И. Марчук 10.03.1978
    ИК АН УССР просит рассмотреть вопрос о поддержке выдвижения А.А. Летичевского кандидатом для избрания в члены-корреспонденты АН СССР по специальности "Вычислительная математика".
  • Письмо А.А. Летичевский -> А.П. Ершов 10.03.1978
    Сообщает, что высылает бумаги, необходимые для оформления поддержки своего выдвижения в члены-корреспонденты АН СССР. /Текст рукописный./
  • Справка 15.03.1978
    о научной, научно-организационной и педагогической деятельности А.А. Летичевского.
  • Телеграмма А.П. Ершов -> Ю.А. Митропольский 25.03.1978
    с выражением поддержки выдвижения А.А. Летичевского в члены-корреспонденты АН УССР по отделению математики.
  • Телеграмма А.П. Ершов -> В.М. Глушков 25.03.1978
    с выражением поддержки выдвижения А.А. Летичевского в члены-корреспонденты АН УССР по отделению математики.
  • Отчет И.В. Поттосин 07.04.1978
    о работе всесоюзного семинара "Перспективы развития в системном и теоретическом программировании".
  • Письмо В.А. Мясников 05.10.1978
    о проведении Первой всесоюзной конференции "Технология программирования" (май 1979 года; Киев).
  • Протокол 23.04.1979
    совещания делегаций АН СССР и АН ГДР по вопросу научного сотрудничества в области математики, кибернетики и информатики на 1981-1985 гг.
  • Письмо А.П. Ершов -> И.В. Сергиенко 04.05.1979
    о защите В.К. Сабельфельда.
  • Записки А.А. Летичевский -> А.П. Ершов 05.06.1979
    поступившие А.П. Ершову после выступления с пленарным докладом "Трансформационный метод в технологии программирования".
  • Письмо В.М. Глушков -> А.П. Ершов 05.07.1979
    Перечисляет предлагаемые для включения в программу симпозиума сообщения.
  • Письмо А.А. Летичевский -> А.П. Ершов 08.08.1979
    Благодарит за приглашение на симпозиум; участвовать будет; предлагает предусмотреть участие Ю.В. Капитоновой; рекомендует включить в число научных переводчиков А.В. Анисимова.
  • Тезисы А.А. Летичевский 21.08.1979
    сообщения А.А. Летичевского на симпозиуме.
  • Телеграмма А.П. Ершов -> А.В. Анисимов 05.09.1979
    Приглашает адресата в качестве научного переводчика на симпозиум в Ургенч. Деловую информацию можно найти у А.А. Летичевского. /Рукописный и машинописный тексты./
  • Тезисы А.А. Летичевский 18.09.1979
    докладов Кречмара, Летичевского, Мазуркевича, Манина, Непейводы, Тыугу и А. ван Вейнгаардена.
  • Фотография 21.09.1979
    Прием в АН Узбекской ССР. А.А. Летичевский и А.В. Анисимов.
  • План 25.11.1979
    выступлений докладчиков. /Текст рукописный./
  • Сопроводительное письмо В.А. Матулис -> А.П. Ершов 03.12.1979
    к материалам, касающимся подготовки сообщений на II-й секции конференции, которые автор передает через члена программного комитета Г.К. Григаса. Также автор сообщает информацию по некоторым пленарным докладам. /Текст рукописный./
  • Отчет А.А. Летичевский 10.01.1980
    "International Symposium on Algorithms in Modern Mathematics and Computer Science" - отчет для "Bulletin of the European Association for Theoretical Computer Science (EATCS)", 1980, No. 10.
  • Рецензия А.А. Летичевский -> А.П. Ершов 28.01.1980
    А.А. Летичевского на доклад О.Л. Бандман, С.В. Пискунова и С.Н. Сергеева.
  • Письмо А.А. Летичевский -> А.П. Ершов 17.03.1980
    Пишет, что он выслал свой доклад на русском языке; перевод на английский - через несколько дней. /Текст рукописный./
  • Программа 06.05.1980
    всесоюзной конференции "Методы мат. логики..."
  • Статья А.А. Летичевский 04.06.1980
    "О поиске инвариантных соотношений в программах".
  • Список -> А.П. Ершов 30.07.1980
    председателей ежедневных заседаний конференции. /Текст рукописный./
  • План В.А. Матулис 03.09.1980
    размещения участников конференции в ДО "Жилвинас" (состояние на 3 сентября).
  • Письмо А.А. Летичевский -> А.П. Ершов 24.09.1980
    Просит адресата оказать ему поддержку и содействие в организации командировки на симпозиум.
  • Тезисы А.П. Ершов 10.12.1980
    возможного доклада "Абстрактная вычислимость на основе формальных инвариантов, отражающих историю вычислений" на международном конгрессе математиков (Варшава, 1982 год). /Текст рукописный./
  • Письмо А.П. Ершов -> М. Паул 23.02.1981
    В ответ на письмо от 04.02.81 - сообщает, что знает еще двух потенциальных авторов, однако они молчат из-за неопределенности с финансовыми возможностями и из-за боязни не успеть до объявленного "последнего срока". Прояснить ситуацию может только прямой контакт с членами Программного комитета и организаторами.
  • Приказ В.И. Крутов 09.07.1981
    "О проведении всесоюзной научной конференции "Синтез, тестирование, верификация и отладка программ" (сентябрь 1981 года; Рига) и Приложение (состав оргкомитета) к нему.
  • Список Г.С. Поспелов 16.12.1981
    членов Научного совета "Искусственный интеллект".

Страницы

Назад