Документы, связанные с Владимир Эммануилович Иткин

  • Письмо А.П. Ершов -> Ф. Самнер 15.01.1980
    Отчет по подготовке к Конгрессу ИФИП-80.
  • Письмо Х. Миллс -> А.П. Ершов 01.02.1980
    с благодарностью за замечания по докладу, сделанные В.Э. Иткиным и В.А. Непомнящим.
  • Программа А.П. Ершов 13.06.1980
    предварительная приема научного сотрудника Математического института БАН к.ф.-м.н. А.О. Буды. Продолжительность командировки - 7 дней.
  • Тезисы А.П. Ершов 10.12.1980
    возможного доклада "Абстрактная вычислимость на основе формальных инвариантов, отражающих историю вычислений" на международном конгрессе математиков (Варшава, 1982 год). /Текст рукописный./
  • Письмо А.П. Ершов -> Ю.И. Янов 26.12.1980
    Излагает свои замечания к интересной статье адресата в журнале "Проблемы кибернетики", № 37. Просит прислать несколько оттисков.
  • Телеграмма В.Э. Иткин -> Г.Е. Цейтлин 01.02.1982
    Слова скорби по поводу безвременной кончины В.М. Глушкова.
  • Постановление В.А. Коптюг 16.02.1982
    о проведении рабочего совещания по теме двустороннего сотрудничества Академий наук СССР и Болгарии.
  • Письмо Г.Е. Цейтлин -> А.П. Ершов 06.04.1982
    Автор сообщает, что высылает свою статью, представленную для публикации в журнале "Программирование". Перечисляет основные результаты. Планирует их доложить в Кишеневе. Надеется на беседу с адресатом, которая, как всегда, даст мощный стимул для его дальнейшей работы.
  • Рецензия В.Э. Иткин 15.06.1982
    на статью Т.И. Югановой "О корректности смешанных вычислений на примере языка ИНКОЛ".
  • Программа приема 01.10.1982
    специалистов из Болгарской АН Буды А.О. (неделя) и Иванова Л.Л. (4 дня) в Вычислительном центре СО АН СССР.
  • Представление В.Е. Котов 01.01.1983
    на соискание премии им. А.Н. Крылова цикла работ А.П. Ершова "Теория и применение смешанных вычислений". /Рукописный и машинописный тексты./
  • Обложка А.П. Ершов 17.01.1983
    с хронологией работы над статьей.
  • Отчет В.Э. Иткин 20.01.1983
    о результатах командирования В.Э.Иткина в Болгарию с целью проведения научной работы по теме "Математическая логика".
  • Отчет рецензента 15.02.1983
    о статье Г.Р. Тирри "Simulation, Reduction, and Preservation of Correctness Properties of Parallel Systems". Мнение рецензента - положительное.
  • Письмо А.П. Ершов -> Й. Груска 21.02.1983
    Автор благодарит за приглашение, но воспользоваться им не сможет, так как в этом году у него запланировано уже две продолжительные командировки. Рекомендует вместо себя пригласить В.Э. Иткина.
  • Представление А.П. Ершова на соискание премии им. А.Н. Крылова В.Е. Котов -> С.С. Лавров 17.05.1983
    Вычислительный центр СО АН СССР представляет цикл работ члена-корреспондента АН СССР А.П. Ершова по теме "Теория и применение смешанных вычислений" на соискание премии АН СССР имени А.Н. Крылова.
  • Тезисы доклада В.П. Котляров 01.08.1983
    "Резидентная технологическая система разработки управляющих программ для микро-ЭВМ".
  • Письмо В.Э. Иткин -> А.П. Ершов 02.08.1983
    о времени возвращения в Новосибирск и о возможностях заняться делами Школы.
  • Блокнот А.П. Ершов 06.10.1983
    Рабочие записи, сделанные во время работы Школы по смешанным вычислениям.
  • Извещение -> А.П. Ершов 16.11.1983
    о заседании секции "Информатика, вычислительные системы и АСУ" Учёного совета ВЦ СО АН СССР. /Приписка Андрея Петровича: "Не был."/
  • Письмо В.Э. Иткин -> В.Е. Котов 10.05.1984
    Выражает недовольство тем, что в работе М.А. Бульонкова по смешанным вычислениям используется конструкция автора без надлежащей ссылки.
  • Рабочие записи А.П. Ершов 03.11.1984
    сделанные при подготовке и во время семинара "Логика и программирование".
  • Приказ № 44 А.С. Алексеев 13.03.1985
    об организации редколлегии советско-болгарского сборника научных трудов "Математическая теория программирования".
  • Письмо М.С. Бургин -> А.П. Ершов 15.11.1985
    Автор выражает благодарность за проявленную щедрость в отношении оттисков и сборников с работами адресата. Отвечает на вопросы адресата, заданные в письме от 21.10.1985. Сообщает, что посылает еще оттиски своих работ и материалы совещания по логике и методологии науки.
  • Отзыв В.Э. Иткин 24.02.1986
    ведущего предприятия о диссертационной работе Г.Е. Цейтлина "Структурное параллельное программирование и его применение к решению задач символьной обработки", представленной на соискание ученой степени доктора технических наук.
  • Письмо А.П. Ершов -> В.М. Актимиров 30.07.1986
    Предлагает адресату приехать в Новосибирск для обсуждения выдвинутых идей и выступления на семинаре. /Текст рукописный./
  • Рецензия В.Э. Иткин 24.10.1986
    на статью Н.Т. Захаровой, В.А. Петрушина, Е.Л. Ющенко "Денотационная семантика процессов смешанных вычислений для структурного языка программирования".
  • Служебная записка А.П. Ершов -> А.С. Алексеев 17.12.1986
    об оформлении заявки на участие в коллоквиуме по частичным и смешанным вычислениям для сотрудников ВЦ СО АН СССР.
  • Служебная записка А.П. Ершов -> Е.П. Велихов 03.04.1987
    о выделении валютных средств для командирования на коллоквиум в Данию сотрудников АН СССР.
  • Служебная записка А.П. Ершов -> И.И. Недлин 03.04.1987
    о необходимости срочно отправить в УВС АН СССР заявочные документы В.Э. Иткина.
  • Справка А.П. Ершов 10.04.1987
    о научном вкладе В.Э. Иткина в теорию и практику смешанных вычислений.
  • Письмо А.П. Ершов -> Г.А. Месяц 10.04.1987
    о необходимости срочной отправки в УВС АН СССР заявочных документов на Н.Н. Непейводу.
  • Письмо А.П. Ершов -> С.С. Лавров 10.04.1987
    о необходимости срочной отправки в УВС АН СССР заявочных документов адресата.
  • Письмо А.П. Ершов -> В.А. Смирнягин 12.05.1987
    с просьбой уделить внимание планируемой поездке советских специалистов на коллоквиум в Данию.
  • Рецензия В.Э. Иткин 20.08.1987
    на статью "First result on parallel execution of sequential programs through communication of partial evaluations".
  • Служебная записка А.П. Ершов -> В.А. Коптюг 04.09.1987
    с просьбой ускорить оформление выездного дела в Данию В.Э. Иткина; задержка происходит из-за отсутствия рекомендации от Советского райкома КПСС.
  • Письмо А.П. Ершов -> А.И. Жучков 19.09.1987
    в Новосибирский обком КПСС с просьбой оказать содействие по включению в состав делегации от ВЦ СО АН М.А. Бульонкова и В.Э. Иткина; прилагаются дополнительные обоснования целесообразности командирования в Данию М.А. Бульонкова, Б.Н. Островского и В.Э. Иткина.
  • Запись разговора А.П. Ершов -> Д. Бьорнер 08.10.1987
    по телефону (в ответ на телеграмму от 08.10.87).
  • Записка А.П. Ершов 08.01.1988
    Запись о телефонном разговоре с В.Э. Иткиным по поводу вступительной речи.
  • Телеграмма А.П. Ершов -> Д. Бьорнер 08.01.1988
    с сообщением о том, что в некоторых докладах опечатки исправлены; часть докладов уже напечатана.
  • Статья В.Э. Иткин 19.01.1988
    В.Е. Иткина "An Algebra and Axiomatization System of Mixed Computation", подготовленная к печати в Трудах конференции.
  • Рабочая записка В.Э. Иткин 05.02.1988
    К прогнозному докладу о направлениях в теоретическом программировании.
  • Расписание А.В. Замулин 08.02.1988
    отправки докладов на коллоквиум по смешанным вычислениям.
  • Информация 10.02.1988
    Направления работ отделов информатики и программирования.

Страницы

Назад