Документы, связанные с Сергей Юрьевич Маслов

  • Фрагмент отзыва (рукописный черновик) С.С. Лавров
    на диссертацию С.Ю. Маслова
  • Отзыв С.С. Лавров
    на докторскую диссертацию С.Ю. Маслова "Обратный метод установления выводимости для логических исчислений"
  • Письмо С.Ю. Маслов -> А.П. Ершов 02.02.1978
    Приглашение принять участие в работе симпозиума "Методы математической логики в проблеме "Искусственный интеллект и информатика" (22.05-27.05.1978, Батуми) и выступить с обзорным докладом. Просьба до 20.02.1978 сообщить о своем решении.
  • Письмо С.Ю. Маслов -> А.П. Ершов 30.08.1979
    Сообщает, что принять участие в работе симпозиума, к сожалению, не сможет. /Текст рукописный./
  • Список (проект) 10.09.1979
    членов программного комитета конференции.
  • Сопроводительное письмо с приложением В.А. Матулис -> А.П. Ершов 12.09.1979
    к предварительным текстам информационных писем с просьбой высказать свои замечания и дать разрешение на рассылку первого информационного письма с учетом этих замечаний. Приложения: 1. План рассылки и получения информации; 2. Проекты информационных писем.
  • Сопроводительное письмо В.А. Матулис -> А.П. Ершов 19.10.1979
    к тексту отредактированного первого информационного письма об организации конференции в Паланге в 1980 г. с перечнем внесенных изменений. Приложение: 1. Текст первого информационного письма.
  • Письмо В.А. Матулис -> А.П. Ершов 24.10.1979
    В письме приводится список организационного комитета конференции и обозначаются функции А.П. Ершова в оргкомитете - ответственный за составление программы конференции.
  • Вопросы В.А. Матулис -> А.П. Ершов 21.11.1979
    присланные А.П. Ершову для согласования.
  • План 25.11.1979
    выступлений докладчиков. /Текст рукописный./
  • Список В.А. Матулис 18.01.1980
    членов Программного комитета конференции.
  • План В.А. Матулис 18.01.1980
    проведения конференции.
  • Распоряжение -> А.П. Ершов 28.02.1980
    по Научному совету по комплексной проблеме "Кибернетика" АН СССР об утверждении состава Организационного комитета конференции.
  • Программа 06.05.1980
    всесоюзной конференции "Методы мат. логики..."
  • Сопроводительное письмо В.А. Матулис -> А.П. Ершов 29.05.1980
    к образцам информационных писем.
  • Список -> А.П. Ершов 29.05.1980
    членов программного комитета конференции.
  • Список -> А.П. Ершов 30.07.1980
    председателей ежедневных заседаний конференции. /Текст рукописный./
  • Список А.П. Ершов 03.09.1980
    в котором упомянуты некоторые члены оргкомитета. /Текст рукописный./
  • Список Г.С. Поспелов 16.12.1981
    членов Научного совета "Искусственный интеллект".
  • Письмо Г.Е. Минц -> А.П. Ершов 17.05.1982
    В ответ на письмо А.П. Ершова от 14 мая автор поддерживает идею о написании рабочего предложения по изданию книги Берандрегта, предлагает свою помощь в переводе книги.
  • Письмо Г.Е. Минц -> А.П. Ершов 17.09.1982
    Сообщает грустную весть о гибели в автомобильной катастрофе С.Ю. Маслова. Выяснилось, что перевод книги Барендрегта уже поручен другому человеку, а взамен предложено составить сборник по приложениям Лямбда-исчисления в вычислительной науке. Спрашивает мнение А.П. Ершова. /Текст рукописный./
Назад