Документы, связанные с Энн Харальдович Тыугу

  • Письмо В.М. Кудинов 07.12.1982
    "О проведении всесоюзной конференции "Р-технологии программирования" (июль 1983 года; Киев).
  • Предполагаемый список 31.12.1982
    авторов приглашенных и заказных докладов на Третью всесоюзную конференцию "Диалог-83". /27 приглашенных авторов и 17 - заказных./
  • Рукописные заметки А.П. Ершов 12.04.1983
    сделанные автором во время дискуссии, а также замечания по докладам на конференции "Автоматизация производства пакетов прикладных программ и трансляторов" в Таллине.
  • Информационное письмо №3 Оргкомитет -> А.П. Ершов 29.08.1983
    Сообщается, что конференция "Применение методов математической логики" состоится с 4 по 8 сентября 1983 г. в Таллине, в Олимпийском центре парусного спорта. Подробно о том, как добираться до места проведения конференции, о культурной программе. Перечислен состав организационного комитета.
  • Повестка дня А.П. Ершов 08.09.1983
    на четверг работы КоСМО. /Текст рукописный./
  • Протокол 09.09.1983
    обсуждения доклада А.П.Ершова о проекте ЭВМ 5-го поколения.
  • Листок бумаги А.П. Ершов 17.10.1983
    на который наклеены две рукописные записи (дела в Москве во время командировки; заказ на покупки домашним) и гостиничная квитанция.
  • Письмо В.П. Бреев -> А.П. Ершов 16.11.1983
    Автор извещает адресата, что в ноябре 1983 г. в Москве намечено провести Всесоюзное совещание по системам программирования. Перечисляет доклады, которые предполагается заслушать на пленарных заседаниях. На секционных заседаниях можно будет обсудить другие актуальные вопросы. Просит адресата дать свои предложения по программе совещания.
  • Письмо А.А. Цветков -> А.П. Ершов 04.02.1984
    Автор излагает свои мысли по поводу проведения Семинара в Свердловсе и очень просит адресата не отказываться быть председателем Оргкомитета. /Текст рукописный./
  • Письмо С.С. Лавров -> А.П. Ершов 19.03.1984
    Автор сообщает, что прилагаемая вставка относится к его проблемной записке. Вчерне им закончена статья "Использование ВТ, программирования и ИИ (перспективы развития)". Проявлена готовность поработать со статьей "О сущности смешанных вычислений", если нет спешки.
  • Акт Э.Х. Тыугу 14.09.1984
    о продаже Институтом кибернетики АН Эстонской ССР Вычислительному центру СО АН СССР устройств фирмы "ЛАБТАМ".
  • Постановление Г.И. Марчук -> А.П. Ершов 27.09.1984
    "Об организации Временной научно-технической комиссии по подготовке доклада и предложений об организации и проведении научно-исследовательских и опытно-конструкторских работ в области персональных микро-ЭВМ и внедрении их результатов в народное хозяйство".
  • Телеграмма И.В. Поттосин -> А.П. Ершов 07.10.1984
    Автор просит поменять местами в программе конференции свой доклад и доклад Тыугу, иначе последний не сможет провести в Новосибирске заседание Рабочих групп.
  • Письмо Э.Х. Тыугу -> А.П. Ершов 20.10.1984
    Сообщает программу 13-го заседания.
  • Письмо Э.Х. Тыугу -> А.П. Ершов 23.10.1984
    Сообщает, что приехать на Семинар не сможет. Передает свой доклад коллеге, который с ним выступит.
  • Рабочие записи А.П. Ершов 19.11.1984
    в процессе заседаний на конференции.
  • Письмо Э.Х. Тыугу -> А.П. Ершов 23.11.1984
    Дубль предыдущего письма Тыугу с рукописной окончательной программой заседания.
  • Сопроводительное письмо Э.Х. Тыугу -> А.П. Ершов 22.03.1985
    к статье "Семантика описательного языка", которая предлагается к опубликованию в IPL.
  • Статья Э.Х. Тыугу 22.03.1985
    "Semantics of a Declarative Language".
  • Отзыв А.П. Ершов 22.04.1985
    о работе "Создание и внедрение комплекса инструментальных систем программирования инженерно-технических задач", выдвинутой на соискание Государственной премии 1985 г.
  • Аннотация Э.Х. Тыугу -> А.П. Ершов 22.04.1985
    к работе "Создание и внедрение комплекса инструментальных систем программирования инженерно-технических задач".
  • Обложка А.П. Ершов 25.04.1985
    с хронологией работы над статьей.
  • Постановление Л.Н. Ефремов 07.05.1985
    о назначении заместителей руководителя ВНТК "СТАРТ"
  • Отчет рецензента С.С. Гончаров 15.05.1985
    на статью "Semantics of a Declarative Language".
  • Письмо Э.Х. Тыугу -> А.П. Ершов 26.06.1985
    с просьбой от имени редакторов журнала "Горизонт" дать согласие на публикацию статьи "Программирование - вторая грамотность".
  • Сопроводительное письмо Э.Х. Тыугу -> А.П. Ершов 08.10.1985
    к перепечатанному оригиналу статьи и разрешению на вывоз.
  • Регистрационная карточка 15.10.1985
    на статью "Semantics of a Declarative Language".
  • Письмо Х. Гербранди -> А.П. Ершов 18.10.1985
    Просит сообщить даты получения первого и переработанного вариантов статьи.
  • Рабочие записи А.П. Ершов 08.05.1986
    для передачи на телевидении "К новому поколению ЭВМ". (По материалам конференции, с приглашением ее участников. Ведущий - А.П. Ершов).
  • Письмо Э.Х. Тыугу -> А.П. Ершов 21.08.1986
    Автор сообщает, что высылает протокол работы программного комитета Третьей всесоюзной конференции "Автоматизация производства систем программирования".
  • Письмо с приложением Г.Е. Минц -> А.П. Ершов 27.08.1986
    Посылает копию письма Э.Х. Тыугу по поводу издания книги И. Братко о ПРОЛОГе. Автор просит после прочтения вернуть книгу в Таллин.
  • Письмо А.П. Ершов -> Б.В. Шабат 08.10.1986
    в поддержку предложения чл.-корр. АН Эстонской ССР Э.Х. Тыугу об издании русского перевода книги И. Братко "Программирование на Прологе для искусственного интеллекта".
  • Письмо А.П. Ершов -> Б.В. Шабат 08.10.1986
    Уведомляет издательство о своей поддержке предложения Э.Х. Тыугу издать русский перевод книги И. Братко "Программирование на ПРОЛОГе для искусственного интеллекта".
  • Статья М. Кутсер 05.12.1986
    "100 строк ученого секретаря ИК АН Эстонской ССР к.т.н. Мати Кутсера". Напечатана в газете "Вечерний Таллин".
  • Повестка -> А.П. Ершов 26.01.1987
    заседания специализированного совета Д 002.10.02.
  • Статья 01.03.1987
    "Стартовый рывок". Напечатана в "Экономической газете".
  • Письмо с приложением Э.Х. Тыугу -> А.П. Ершов 30.04.1987
    Автор высылает аннотацию работы, представленной на соискание Государственной премии. Просит А.П. Ершова выступисть в печати в поддержку. Аннотация приложена.
  • Письмо Э.Х. Тыугу -> А.П. Ершов 06.05.1987
    Автор просит посмотреть рукопись М.И. Кановича и, если она понравится, представить ее в ДАН СССР.
  • Акт Э.Х. Тыугу 05.06.1987
    о передаче иностранной литературы Институту кибернетики АН Эстонской ССР.
  • Письмо Э.Х. Тыугу -> А.П. Ершов 10.07.1987
    Автор приглашает адресата участвовать в совещании по искусственному интеллекту на тему "Машинный анализ и синтез знаний" (Таллин; 29.09-02.10.1987) и выступить с докладом о своих исследованиях (на английском языке).
  • Письмо Д. Бьорнер -> А.П. Ершов 28.10.1987
    о том, что проф. Д. Бьорнер собирается посетить СССР в мае 1988 года.
  • Письмо Э.Х. Тыугу -> А.П. Ершов 09.11.1987
    Автор благодарит адресата за внимание к работам по программированию, проводимым в Таллине. Сообщает, что Г.Е. Минц устроился работать в Таллине и собирается защищать диссертацию в МИ АН СССР. Высылает адресату летние фотографии. /Текст рукописный./
  • Письмо А.О. Вооглайд -> А.П. Ершов 09.02.1988
    Автор сообщает, что принят в докторантуру Таллинского политехнического института, и просит А.П. Ершова быть консультантом в его работе.
  • Письмо А.И. Миков -> А.П. Ершов 12.02.1988
    Автор посылает свою книгу, которая является основой его докторской диссертации. Рассказывает о дальнейших планах и просит найти время, чтобы прочитать книгу или диссертацию.

Страницы

Назад