Документы, связанные с Михаил Абрамович Тайцлин

  • Анкета М.А. Тайцлин
    М. А. Тайцлина.
  • Отзыв С.С. Лавров
    на книгу Ю.Л. Ершова, Е.А. Палютина и М.А. Тайцлина "Математическая логика"
  • Повестка С.Л. Соболев -> А.П. Ершов 12.04.1973
    заседания Ученого совета ИМ СО АН СССР.
  • Повестка С.Л. Соболев -> А.П. Ершов 07.02.1975
    заседаний Ученого совета ИМ СО АН СССР.
  • Повестка С.Л. Соболев -> А.П. Ершов 05.06.1975
    заседания Учёного совета ИМ СО АН СССР. /Приписка Андрея Петровича: "Очень выдающийся парень, 1952 года рождения". Это о В.В. Иванове, который защищался на этом заседании Учёного совета./
  • Письмо М.А. Тайцлин -> А.П. Ершов 15.10.1982
    Автор спрашивает, нельзя ли опубликовать обзор о результатах, полученных в Казахском университете в области сравнения различных динамических логик по выразительной мощности, в журнале Theoretical Computer Science.
  • Заявление М.А. Тайцлин -> А.П. Ершов 29.10.1982
    о наличии разрешения Минвуза Казахской ССР на отправку статьи во Францию для опубликования в журнале TCS.
  • Статья М.А. Тайцлин 29.10.1982
    "The comparison of the expressive power of first-order dynamic logics".
  • Обложка А.П. Ершов 05.11.1982
    с хронологией работы над статьей.
  • Письмо А.П. Ершов -> М. Нива 14.02.1983
    Посылает для опубликования статью А.П. Столбошкина и М.А. Тайцлина. Статья уже прореферирована, в ней содержатся хорошие результаты. Однако, дополнительное редактирование все же потребуется. /Текст рукописный./
  • Служебная записка А.П. Ершов 14.02.1983
    Просит указания ученого секретаря ВЦ СО АН СССР на отправку статей в редакцию журнала "Теоретикал Компьютер сайенс".
  • Сопроводительное письмо А.П. Ершов -> М. Нива 15.02.1983
    к статье А.П. Столбушкина и М.А. Тайцлина. Предлагает дать ее на второе чтение одному из специалистов в области динамических логик.
  • Письмо А. Кфури -> А.П. Ершов 06.06.1984
    Автор посылает свою статью и просит представить ее к публикации в журнале IPL. Он объясняет, почему обратился именно к А.П. Ершову. /Текст рукописный./
  • Обложка А.П. Ершов 26.06.1984
    с хронологией работы над статьей.
  • Отчет рецензента М.А. Тайцлин 11.07.1984
    на статью А. Кфури "The Unwind Property for Programs with Bounded Memory". Мнение рецензента - статья должна быть опубликована.
  • Сопроводительное письмо М.А. Тайцлин -> А.П. Ершов 25.07.1984
    к отзыву рецензента на статью А. Кфури "The Unwind Property for Programs with Bounded Memory".
  • Отзыв М.А. Тайцлин 25.07.1984
    Комментарии рецензента на статью А. Кфури "The Unwind Property for Programs with Bounded Memory".
  • Письмо М.А. Тайцлин -> А.П. Ершов 24.10.1984
    Сообщает о своем переезде в Калинин и о возможности работать в местном университете; но, движимый давней мечтой, хочет попытаться устроиться в Переславский филиал Института проблем кибернетики. В связи с этим просит дать ему рекомендацию. /Текст рукописный./
  • Письмо М.А. Тайцлин -> А.П. Ершов 08.01.1985
    Просьба поддержать предложение о переводе на русский язык книги Д. Харела "Динамическая логика", с которым обратились в издательство "Мир".
  • Открытка М.А. Тайцлин -> А.П. Ершов 11.01.1985
    Автор поздравляет адресата с Новым годом и с избранием академиком, желает крепкого здоровья и новых успехов. Он очень благодарен за поддержку научной работы и за советы, которым следует.
  • Письмо автор не установлен -> А.П. Ершов 29.11.1986
    Автор с возмущением сообщает о плагиате в книге, выпущенной Калининским госурственным университетом.
Назад