Документы, связанные с Анатоль Олесьевич Слисенко
-
Замечания к проекту учебного плана А.О. Слисенко
по специальности "Алгоритмика и программирование"
-
Список -> А.П. Ершов
членов советской делегации (тема VII, Франция, 5 дней, 1985).
-
Анкета А.О. Слисенко
А. О. Слисенко.
-
Повестка С.Л. Соболев -> А.П. Ершов
27.10.1971
заседаний Совета ИМ СО АН СССР с правом присуждения ученых степеней.
-
Письмо В.А. Успенский -> А.П. Ершов
01.07.1979
об организационных вопросах; обсуждение кандидатур участников симпозиума.
-
Письмо Н.А. Шанин -> А.П. Ершов
16.07.1979
Предлагает вместо себя А.О. Слисенко; называет тему для обсуждения на симпозиуме.
-
Письмо А.П. Ершов -> В.А. Успенский
23.07.1979
Благодарит за письмо от 01.07.1979; выражает свое мнение по поводу названия доклада адресата; сообщает о положении дел с приглашением в Ургенч А.О. Слисенко.
-
Письмо А.П. Ершов -> Н.А. Шанин
27.07.1979
В ответ на письмо адресата от 16.07.1979 сообщает о приглашении А.О. Слисенко; советует не терять надежды на поездку в Ургенч, так как в данное время предпринимаются шаги для увеличения квоты для иногородних участников. /Рукописный и машинописный тексты./
-
Письмо А.О. Слисенко -> А.П. Ершов
03.08.1979
о теме выступления. /Текст рукописный./
-
Письмо А.П. Ершов -> В.К. Кабулов
13.08.1979
Организационные вопросы.
-
Телеграмма А.П. Ершов -> Н.А. Шанин
13.08.1979
Подтверждает посланное адресату приглашение на симпозиум.
-
Письмо А.О. Слисенко -> А.П. Ершов
05.09.1979
Сообщает, что выступить на симпозиуме не сможет. /Текст рукописный./
-
Сопроводительное письмо В.А. Матулис -> А.П. Ершов
19.10.1979
к тексту отредактированного первого информационного письма об организации конференции в Паланге в 1980 г. с перечнем внесенных изменений. Приложение: 1. Текст первого информационного письма.
-
Вопросы В.А. Матулис -> А.П. Ершов
21.11.1979
присланные А.П. Ершову для согласования.
-
План
25.11.1979
выступлений докладчиков. /Текст рукописный./
-
Письмо Г.М. Адельсон-Вельский -> А.П. Ершов
22.12.1979
Сообщает о ходе подготовки своей статьи в соавторстве с А.О. Слисенко. /Текст рукописный./
-
Письмо -> А.П. Ершов
29.12.1979
Автор поздравляет адресата с наступающим Новым годом и сообщает, что следующий симпозиум MFCS состоится 31.08-04.09.1981 в Чехословакии, в Высоких Татрах. Он делает адресату предложение стать членом международного программного комитета и принять участие в симпозиуме. /Текст рукописный./
-
Отчет А.О. Слисенко
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.
-
Список В.А. Матулис
18.01.1980
членов Программного комитета конференции.
-
Статья А.О. Слисенко
23.01.1980
"Что мы можем сделать с задачами полного перебора?"
-
Распоряжение -> А.П. Ершов
28.02.1980
по Научному совету по комплексной проблеме "Кибернетика" АН СССР об утверждении состава Организационного комитета конференции.
-
Сопроводительное письмо А.О. Слисенко -> А.П. Ершов
27.03.1980
к информации о семинаре "Оценка сложности вычислений", который планируется провести с 20 по 23 января 1981 г. в ЛО ИМ. Приложена записка, адресованная В.А. Непомнящему, с просьбой зайти к адресату по поводу этого письма.
-
Программа
06.05.1980
всесоюзной конференции "Методы мат. логики..."
-
Список -> А.П. Ершов
29.05.1980
членов программного комитета конференции.
-
Список -> А.П. Ершов
30.07.1980
председателей ежедневных заседаний конференции. /Текст рукописный./
-
Записка А.П. Ершов
06.09.1980
о переданной статье.
-
Письмо А.П. Ершов -> Ю.И. Манин
30.09.1980
Просьба прорецензировать статью Д.Ю. Григорьева, заявленную в TCS. /Рукописный и машинописный варианты./
-
Письмо А.О. Слисенко -> А.П. Ершов
05.01.1981
Поздравляет с Новым годом; сообщает об исправлениях, которые необходимо внести в его статью. /Текст рукописный./
-
Письмо А.О. Слисенко -> А.П. Ершов
29.06.1981
Сообщает о том, что высылает перевод статьи А. Альдера и Ф. Штрассена для русского издания Трудов Ургенчского симпозиума.
-
Заключение А.П. Ершов
24.07.1981
о стаье А.О. Слисенко "Сложностные задачи теории вычислений". /Текст рукописный./
-
Письмо (рукописное) А.О. Слисенко -> А.П. Ершов
04.10.1981
Просит представить свою статью "Context-free grammars as a tool for describing polynomial-time subclasses of hard problems" в журнал IPL. Есть разрешение на вывоз рукописи за границу и разрешение Главлита.
-
Письмо А.О. Слисенко -> А.П. Ершов
08.10.1981
Автор соглашается, что посланная статья сырая, и выражает готовность к ее серьезным изменениям. /Текст рукописный./
-
Обложка А.П. Ершов
17.10.1981
с хронологией работы над статьей.
-
Письмо А.О. Слисенко -> А.П. Ершов
24.11.1981
Сообщает, что получил от рецензента свою статью с замечаниями, направленными на концептуальное прояснение изложения. Надеется отреагировать на них в течение недели. /Текст рукописный./
-
Письмо А.О. Слисенко -> А.П. Ершов
16.12.1981
Посылает доработанный вариант статьи. Сообщает, какие изменения сделаны. /Текст рукописный./
-
Статья А.О. Слисенко
16.12.1981
"Context-free grammars as a tool for describing polynomial-time subclasses of hard problems".
-
Письмо А.О. Слисенко -> А.П. Ершов
10.01.1982
Автор просит сообщить, получил ли адресат доработанный вариант его статьи для IPL. Если "да", то нельзя ли представить его в качестве тезиса доклада на семинар "Оптимизация и преобразование программ", организатором которого является адресат. /Текст рукописный./
-
Регистрационная карточка А.П. Ершов
22.01.1982
на статью А.О. Слисенко "Context-free grammars as a tool for describing polynomial-time subclasses of hard problems".
-
Почтовая карточка -> А.П. Ершов
10.02.1982
Редакция подтверждает получение статьи.
-
Письмо А.О. Слисенко -> А.П. Ершов
17.02.1982
Готов приехать на Марчуковскую конференцию. Делится впечатлениями от работы с системой SAC-2, сделанной в США совместно с ФРГ. /Текст рукописный./
-
Пригласительный билет -> А.П. Ершов
02.03.1982
Отделение математики АН СССР приглашает адресата принять участие в Общем годичном собрании Отделения, которое состоится 2 марта 1982 г. в Математическом институте им. В.А. Стеклова АН СССР.
-
Письмо А.О. Слисенко -> А.П. Ершов
03.05.1982
Автор благодарит адресата за принципиальное согласие выступить на философском семинаре ЛО МИ АН СССР. В плане доклад назван "Современное состояние парка ЭВМ и его социально-производственное использование /в свете решений XXVI съезда КПСС/".
-
Письмо Г.Е. Минц -> А.П. Ершов
17.09.1982
Сообщает грустную весть о гибели в автомобильной катастрофе С.Ю. Маслова. Выяснилось, что перевод книги Барендрегта уже поручен другому человеку, а взамен предложено составить сборник по приложениям Лямбда-исчисления в вычислительной науке. Спрашивает мнение А.П. Ершова. /Текст рукописный./
-
Письмо с приложением Г.Е. Минц -> А.П. Ершов
23.09.1982
Посылает подписанные Матиясевичем предложения об издании сборника переводов "Приложения Лямбда-исчисления к теоретическому программированию". Предлагает подписать их и отправить в Москву. Надеется на приезд А.П. Ершова в ЛОМИ.
-
Информационное письмо №2 Оргкомитет
20.07.1983
Сообщается, что конференция "Применение методов математической логики" будет проходить с 4 по 8 сентября 1983 г. в Таллине. Перечислены правила оформления стендовых докладов. Просьба до 1 августа заполнить и отправить по указанному адресу анкету участника конференции. /Сверху рукой А.О. Слисенко приписка, что он посылает адресату информацию о конференции. Анкета адресата у организаторов имеется. Постарается дозвониться в конце августа./
-
Письмо А.О. Слисенко -> А.П. Ершов
16.09.1983
Уведомляет об отправке обещанного тома "Записки научного семинара ЛОМИ" и текста доклада, представленного в Труды Конгресса в Варшаве. Надеется на получение статьи о программировании и стихов адресата. /Текст рукописный./
-
Доклад А.Н. Колмогоров
15.11.1983
"Математические вопросы создания ЭВМ нового поколения и задачи математической подготовки кадров", заявленный на Всесоюзное совещание по системам программирования ЭВМ.