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

Аннотации заседаний, 04.03.1972-05.03.1972
Доклад, 18.08.1983
А.А.Летичевского "Abstract Data Types and Finding Invariants of Programs".
Доклад
"Математическая теория программирования".
Заголовок, 16.01.1990-18.01.1990
Объектно-ориентированный подход и параллельное программирование
Записка, А.П. Ершов->А. А. Летичевский, 06.02.1969
с просьбой передать, что рецензия и статья высланы.
Записка, В. К. Сабельфельд->А.П. Ершов, 06.03.1987
Просьба послать статью В.К. Сабельфельда и Л.В. Черноброд в другое место, так как ее следы затерялись.
Записки, Ю. В. Капитонова ->А.П. Ершов..., 05.06.1979
поступившие А.П. Ершову после выступления с пленарным докладом "Трансформационный метод в технологии программирования".
Конспект, 17.11.1968
статьи А.А. Летичевского.
Обложка, 09.10.1982-06.01.1983
с хронологией работы над статьей.
Оповещение
о международной конференции "Перспективы системной информатики", посвященной 60-летию со дня рождения академика А.П. Ершова, которая состоится 27-30 мая 1991 г. в Академгородке. Перечислены темы обсуждения и члены программного комитета.
Ответ
А.А. Летичевского.
Отзыв, 13.01.1986
о диссертации Р.И. Подловченко "Моделирование программ схемами и построение полных систем преобразований схем", представленной на соискание ученой степени доктора физико-математических наук.
Отзыв, 04.06.1971
официального оппонента о работе А.А. Летичевского, представленной на соискание ученой степени доктора физико-математических наук.
Открытка, А. А. Летичевский->А.П. Ершов, 14.01.1985
Автор просит принять сердечные поздравления с Новым 1985 годом и выдающейся победой адресата на выборах. Эта победа - важнейшее событие в советской науке, которое будет способствовать ее дальнейшему развитию и процветанию. Автор желает адресату большого счастья, здоровья, новых побед и творческих удач.
Отчет, 10.09.1972
о симпозиуме по теории программирования, проходившем в Новосибирске с 7 по 11 агуста 1972 года.
Отчет, 07.04.1978
о работе всесоюзного семинара "Перспективы развития в системном и теоретическом программировании".
Отчет, 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.
Письмо, А. А. Летичевский->А.П. Ершов, 09.10.1982
Автор с сожалением сообщает, что не сможет приехать в Тбилиси на конференцию по искусственному интеллекту. Передает текст статьи, которую просит представить в IPL. Дает рекомендации по подбору рецензентов.
Письмо, 02.11.1974
о необходимости скорейшего издания "Пересмотренного сообщения об алгоритмическом языке Алгол 68".
Письмо, А.П. Ершов->Е. Л. Ющенко, 26.08.1968
Автор выражает огорчение в связи с переносом сроков конференции. Касается вопросов, связанных с изданием Трудов. Советует провести неофициальное заседание 15 ноября под названием "Однодневный симпозиум по некоторым последним работам в области программирования". Прилагает список рекомендуемых председателей заседаний.

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


Назад

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