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

Постановление, В. А. Коптюг->А.П. Ершов, 16.02.1982
о проведении всесоюзного семинара "Оптимизация и преобразование программ" в Новосибирске 4-6 мая 1982 г.
Оповещение
о международной конференции "Перспективы системной информатики", посвященной 60-летию со дня рождения академика А.П. Ершова, которая состоится 27-30 мая 1991 г. в Академгородке. Перечислены темы обсуждения и члены программного комитета.
Тезисы
возможного доклада "Абстрактная вычислимость на основе формальных инвариантов, отражающих историю вычислений" на международном конгрессе математиков 1982 года.
Решение, 26.06.1972-01.07.1972
Симпозиум способствовал сближению точек зрения по вопросам, представленным в его тематике, установлению личных научных и деловых контактов. Перечислены высказанные рекомендации.
Регистрационная карточка, 09.10.1982
на статью "On parallel semantics of sequential programs".
Доклад, 18.08.1983
А.А.Летичевского "Abstract Data Types and Finding Invariants of Programs".
Отчет, 10.09.1972
о симпозиуме по теории программирования, проходившем в Новосибирске с 7 по 11 агуста 1972 года.
Записки, Ю. В. Капитонова ->А.П. Ершов..., 05.06.1979
поступившие А.П. Ершову после выступления с пленарным докладом "Трансформационный метод в технологии программирования".
Тезисы, 10.12.1980
возможного доклада "Абстрактная вычислимость на основе формальных инвариантов, отражающих историю вычислений" на международном конгрессе математиков (Варшава, 1982 год). /Текст рукописный./
Письмо, А. А. Летичевский->А.П. Ершов, 09.10.1982
Автор с сожалением сообщает, что не сможет приехать в Тбилиси на конференцию по искусственному интеллекту. Передает текст статьи, которую просит представить в IPL. Дает рекомендации по подбору рецензентов.
Письмо, А.П. Ершов->Е. Л. Ющенко, 26.08.1968
Автор выражает огорчение в связи с переносом сроков конференции. Касается вопросов, связанных с изданием Трудов. Советует провести неофициальное заседание 15 ноября под названием "Однодневный симпозиум по некоторым последним работам в области программирования". Прилагает список рекомендуемых председателей заседаний.
Письмо, 02.11.1974
о необходимости скорейшего издания "Пересмотренного сообщения об алгоритмическом языке Алгол 68".
Письмо с приложением, А. А. Летичевский->А.П. Ершов, 23.07.1977
Автор высылает приложенную статью В.М. Глушкова, Ю.В. Капитоновой, А.А. Летичевского "О применении метода формализованных технических заданий к проектированию программ обработки структур данных" и просит опубликовать ее в журнале "Программирование".
Тезисы
доклада А.А. Летичевского "Автоматные методы в теории программирования".
Циркуляр № 2, 16.06.1972
Письмо со списком советских участников симпозиума (29 фамилий); о бронировании жилья в гостинице; о погоде в Новосибирске в 1-й половине августа.
Программа
одного из заседаний. /Текст рукописный./
Конспект, 17.11.1968
статьи А.А. Летичевского.
Рецензия, 14.10.1968
на рукопись А.А. Летичевского "Функциональная эквивалентность дискретных преобразователей".
Приказ, 09.07.1981
"О проведении всесоюзной научной конференции "Синтез, тестирование, верификация и отладка программ" (сентябрь 1981 года; Рига) и Приложение (состав оргкомитета) к нему.
Распоряжение, 05.02.1974
по Научному совету по комплексной проблеме "Кибернетика" - назначить председателя Секции "Искусственный интеллект", утвердить её структуру и состав всех входящих в неё комиссий.

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


Назад

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