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

  • Ответ А.А. Летичевский
    А.А. Летичевского.
  • Тезисы А.А. Летичевский
    доклада "Теория программирования".
  • Справка
    о научной, научно-организационной и педагогической деятельности д.ф.-м.н. А.А. Летичевского.
  • Тезисы А.А. Летичевский
    доклада А.А. Летичевского "Автоматные методы в теории программирования".
  • Доклад А.А. Летичевский
    "Математическая теория программирования".
  • Письмо А. Дегтярев -> М.А. Бульонков
    Автор, по предложению А.А.Летичевского, выслал заполненную анкету участника. Хочет узнать дополнительную информацию.
  • Тезисы А.П. Ершов
    возможного доклада "Абстрактная вычислимость на основе формальных инвариантов, отражающих историю вычислений" на международном конгрессе математиков 1982 года.
  • Оповещение
    о международной конференции "Перспективы системной информатики", посвященной 60-летию со дня рождения академика А.П. Ершова, которая состоится 27-30 мая 1991 г. в Академгородке. Перечислены темы обсуждения и члены программного комитета.
  • Программа А.П. Ершов
    одного из заседаний. /Текст рукописный./
  • Статья "Сообщение об алгоритмическом языке АЛГЭК" А.А. Летичевский 04.12.1965
    Опубликована в журнале "Кибернетика", №2, 1966 /отдельный оттиск/.
  • Письмо А.П. Ершов -> С.С. Лавров 09.02.1966
    О подготовке делегации на конференцию ИФИП в Пизе (Италия) 5-9 сентября 1966; комментарии к тексту письма в Литгазету; об анализе программ и алгоритмах оптимизации как теме диссертационного исследования
  • Письмо А.П. Ершов -> А.А. Дородницын 10.02.1966
    Сообщает информацию о планируемой конференции ИФИП в Пизе. Называет нескольких возможных кандидатов от СССР. Спрашивает мнение адресата по этом поводу.
  • Сопроводительное письмо -> А.П. Ершов 04.10.1966
    к оттискам статей.
  • Письмо А.П. Ершов 16.03.1967
    В ответ на просьбу из Комитета по Ленинским и Государственным премиям СССР в области науки и техники авторы сообщают свое мнение относительно представленных работ.
  • Письмо Ю.А. Первин -> А.П. Ершов 06.02.1968
    Просьба выслать на имя В.М. Глушкова приглашение выступить с докладом.
  • Рецензия А.П. Ершов 05.03.1968
    на рукопись А.А. Летичевского "Синтаксис и семантика формальных языков", представленную к опубликованию в журнале "Кибернетика". Заключение рецензента - рекомендовать работу к печати.
  • Письмо В.М. Глушков -> А.П. Ершов 24.05.1968
    Автор сообщает, что согласен выступить с докладом на тему "Алгебраические и автоматные методы в теории программирования" совместно с А.А. Летичевским.
  • Письмо А.П. Ершов -> Е.Л. Ющенко 26.08.1968
    Автор выражает огорчение в связи с переносом сроков конференции. Касается вопросов, связанных с изданием Трудов. Советует провести неофициальное заседание 15 ноября под названием "Однодневный симпозиум по некоторым последним работам в области программирования". Прилагает список рекомендуемых председателей заседаний.
  • Письмо Н.С. Фурс -> А.П. Ершов 13.09.1968
    Редколлегия журнала "Кибернетика" просит прорецензировать статью Летичевского А.А. "Функциональная эквивалентность дискретных..."
  • Рецензия А.П. Ершов 14.10.1968
    на рукопись А.А. Летичевского "Функциональная эквивалентность дискретных преобразователей".
  • Конспект А.П. Ершов 17.11.1968
    статьи А.А. Летичевского.
  • Письмо А.А. Летичевский -> А.П. Ершов 07.02.1969
    Уточнение времени приезда в Новосибирск.
  • Фототелеграмма А.А. Летичевский -> А.П. Ершов 17.02.1969
    Автор, собираясь в командировку в Свердловск, спрашивает, когда и где он мог бы встретиться с адресатом.
  • Телеграмма Г.И. Марчук -> В.М. Глушков 10.01.1970
    Сообщает свои пожелания по приглашенным докладчикам на Конгресс ИФИП.
  • Семинар БЕТА/С-16 12.02.1971
    Доклад А.А. Летичевского о средствах для обработки деревьев, разработанный в ИК АН УССР, и его обсуждение.
  • Письмо К.Д. Жук -> А.П. Ершов 24.03.1971
    Извещение об утверждении адресата официальным оппонентом по защите диссертации А.А. Летичевского.
  • Письмо А.А. Летичевский -> А.П. Ершов 04.05.1971
    Обсуждение сроков защиты автора и информация о работе над отзывами.
  • Письмо К.Д. Жук -> А.П. Ершов 17.05.1971
    Официальное извещение о дате защиты А.А. Летичевского.
  • Телеграмма А.А. Летичевский -> А.П. Ершов 22.05.1971
    с сообщением даты защиты.
  • Отзыв А.П. Ершов 04.06.1971
    официального оппонента о работе А.А. Летичевского, представленной на соискание ученой степени доктора физико-математических наук.
  • Талон -> А.П. Ершов 01.07.1971
    к почтовому переводу на сумму 19 руб. 10 коп. за оппонирование по защите диссертации А.А. Летичевского.
  • Письмо А.П. Ершов -> В.М. Глушков 19.08.1971
    Представляет к публикации статью В.Э. Иткина "Логико-термальная эквивалентность схем-программ"; дает ей очень высокую оценку.
  • Письмо И.В. Клокачев -> А.П. Ершов 11.11.1971
    Автор благодарит адресата за согласие быть председателем программного комитета симпозиума. Обсуждается ряд организационных вопросов. /Текст рукописный./
  • Письмо Д.В. Сперанский -> А.П. Ершов 12.11.1971
    Автор просит назначить личную встречу для обсуждения его работы "О выборе внутреннего языка ЦВМ".
  • Письмо А.А. Летичевский -> А.П. Ершов 06.12.1971
    Автор высказыват свое мнение о статье В.А. Вальковского, которую адресат рекомендовал опубликовать в журнале "Кибернетика". /Текст рукописный./
  • Письмо А.А. Летичевский -> А.П. Ершов 16.02.1972
    Благодарность за приглашение на симпозиум по теории программирования; сообщение об отправке тезисов доклада; по этическим соображениям работа В.А. Вальковского оставлена без комментариев.
  • Аннотации заседаний 04.03.1972
  • Письмо А.П. Ершов -> Н.С. Фурс 04.04.1972
    Предложение опубликовать два интересных обзора.
  • Циркуляр № 2 А.П. Ершов 16.06.1972
    Письмо со списком советских участников симпозиума (29 фамилий); о бронировании жилья в гостинице; о погоде в Новосибирске в 1-й половине августа.
  • Решение 26.06.1972
    Симпозиум способствовал сближению точек зрения по вопросам, представленным в его тематике, установлению личных научных и деловых контактов. Перечислены высказанные рекомендации.
  • Письмо А.А. Летичевский -> А.П. Ершов 07.09.1972
    об отправке английского и русского текстов доклада.
  • Отчет А.П. Ершов 10.09.1972
    о симпозиуме по теории программирования, проходившем в Новосибирске с 7 по 11 агуста 1972 года.
  • Распоряжение 05.02.1974
    по Научному совету по комплексной проблеме "Кибернетика" - назначить председателя Секции "Искусственный интеллект", утвердить её структуру и состав всех входящих в неё комиссий.
  • Распоряжение А.И. Берг 28.05.1974
    по Научному совету по комплексной проблеме "Кибернетика" АН СССР - для подготовки и проведения всесоюзного симпозиума "Языки системного программирования и методы их реализации" (Алушта, сентябрь 1974 г.) утвердить оргкомитет в указанном составе.
  • Повестка В.Т. Дементьев -> А.П. Ершов 01.11.1974
    заседания Секции по кибернетике Объединённого учёного совета по физико-математическим и техническим наукам СО АН СССР. /Приписка Андрея Петровича: "Был. Защитились 14-1-2 - Вальковский; 15-1-1 - Иткин"./
  • Письмо А.А. Летичевский 02.11.1974
    о необходимости скорейшего издания "Пересмотренного сообщения об алгоритмическом языке Алгол 68".

Страницы

Назад