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

  • Письмо А.П. Ершов 03.09.1974
    Рекомендует к публикации статью аспиранта НГУ Син Мен Де "Логико-термально эквивалентные преобразования схем программ".
  • План расселения И.В. Поттосин 24.09.1974
    по комнатам сотрудников лабораторий А.П. Ершова и И.В. Поттосина.
  • Телеграмма А.П. Ершов -> Р.И. Подловченко 25.10.1974
    Просьба быть официальным оппонентом на защите В.Э. Иткина.
  • Повестка Г.И. Марчук -> А.П. Ершов 01.11.1974
    заседания Секции по кибернетике Объединённого учёного совета по физико-математическим и техническим наукам СО АН СССР. /Приписка Андрея Петровича: "Был. Защитились 14-1-2 - Вальковский; 15-1-1 - Иткин"./
  • Отзыв А.П. Ершов 01.11.1974
    научного руководителя о работе В.Э. Иткина "Логико-термальная эквивалентность схем программ", представленной на соискание ученой степени кандидата физико-математических наук.
  • Рабочие записи А.П. Ершов 10.12.1974
    Разговор с В.Э. Иткиным о программе работ в Кишиневе.
  • Программа 10.12.1974
    заседаний симпозиума "Системное и теоретическое программирование" 10, 11 и 12 декабря 1974 года.
  • Телеграмма А.П. Ершов -> О.Б. Лупанов 13.01.1975
    Перевод В.Э. Иткина в издательство отправлен.
  • Телеграмма А.П. Ершов -> А.О. Буда 22.01.1975
    Сообщает условия подготовки материала.
  • Письмо А.П. Ершов -> А.А. Дородницын 05.02.1975
    На конференцию ИНФОПОЛ рекомендуются И.В. Поттосин, В.Е. Котов, А.С. Нариньяни и В.Э. Иткин; темы их докладов.
  • Письмо А.П. Ершов -> А.А. Дородницын 05.02.1975
    Ответ на письмо адресата от 13.01.1975. Автор заинтересован в участии в конференции ИНФОПОЛ и готов сделать доклад на тему "Производственные системы построения трансляторов". Перечисляет сотрудников ВЦ СО АН СССР и темы обзорных докладов, с которыми они могли бы выступить на этой конференции.
  • Письмо А.П. Ершов -> Н.С. Фурс 26.02.1975
    Рекомендует к публикации работы В.Э. Иткина "Эквивалентность свободных схем программ" и А.О. Буды "Функциональная эквивалентность стандартных схем с узловыми вершинами".
  • Письмо Е.А. Макеева -> А.П. Ершов 20.08.1975
    Личное письмо с просьбой помочь семье В.Э. Иткина.
  • Отзыв А.П. Ершов 15.10.1975
    научного руководителя о диссертации А.О. Буды "Отношения эквивалентности на классах схем программ".
  • План 30.10.1975
    научного ознакомления с работами отделения информатики на ноябрь 1975 г. для М. Миякавы.
  • Письмо с приложением А.П. Ершов -> С.И. Будыхо 03.02.1976
    Автор возвращает рукопись Хачатряна с положительной рецензией; еще одна статья в работе.
  • Письмо А.П. Ершов 25.03.1976
    В дирекцию и МК профсоюзов ВЦ СО АН СССР с просьбой уделить особое внимание перечисленным сотрудникам отделения информатики в предстоящем распределении жилья.
  • Письмо А.С. Алексеев -> адресат не установлен 05.08.1976
    с просьбой о предоставлении комнаты в семейном общежитии семье В.Э. Иткина.
  • Письмо А.О. Буда -> А.П. Ершов 08.10.1976
    Автор сообщает о заключении договора между Болгарской АН и Сибирским отделением АН СССР по проблеме "Алгебра и логика"; рассказывает о новостях и о своем выступлении на коллоквиуме болгарских алгебраистов. /Текст рукописный./
  • Служебная записка А.П. Ершов 25.11.1976
    Ходатайство о предоставлении жилья семье В.Э. Иткина.
  • Список -> А.П. Ершов 15.03.1977
    членов Научного совета по информатике и Приложение к нему (Временное положение о специализированных Научных советах ВЦ СО АН СССР).
  • Письмо А.П. Ершов -> Й. Груска 27.04.1977
    Сообщает, что название доклада отправлено телеграммой; приедет с С.Б. Покровским; председательствовать согласен.
  • Телеграмма А.П. Ершов -> Й. Груска 27.04.1977
    Сообщает название доклада - "Корректность смешанных вычислений в алголоподобных программах".
  • Письмо М. Миякава -> А.П. Ершов 15.08.1977
    с выражением ностальгических чувств после отъезда из Академгородка, со словами благодарности принимающей стороне. /Текст рукописный./
  • Программа пребывания А.О. Буда 21.11.1977
    пребывания научного сотрудника Математического института Болгарской АН к.ф.-м.н. Буды А.О. в ВЦ СО АН СССР за период 10 октября 1977 г. по 10 апреля 1978 г.
  • Письмо А.П. Ершов -> М. Миякава 03.02.1978
    Сердечное послание с выражением дружеских чувств и благодарностью за присланные книги. Автор рассказывает о жизни отдела программирования ВЦ СО АН и о своих семейных новостях. Приводит интересные сведения по калькуляции своего рабочего времени.
  • Реферат В.Э. Иткин 09.02.1978
    статьи "Correctness of mixed computation in Algol-like programs".
  • Справка 25.03.1978
    о командировании в Болгарию сотрудников ВЦ СО АН СССР А.П. Ершова и В.Э. Иткина в рамках двустороннего сотрудничества между Академией наук СССР и БАН в 1979 году.
  • Обоснование 25.03.1978
    командирования в Болгарию сотрудников Вычислительного центра СО АН СССР зав. лабораторией, члена-корреспондента АН СССР А.П. Ершова и мнс, к.ф.-м.н. В.Э. Иткина на две недели в рамках двустороннего сотрудничества между АН СССР и БАН на 1977-1980 гг. по подтеме "Теория алгоритмов и ее применения".
  • Отчет В.Э. Иткин 28.03.1978
    младшего научного сотрудника лаборатории теоретического программирования В.Э. Иткина о работе за 1977 год.
  • Письмо М. Миякава -> А.П. Ершов 11.07.1978
    Сообщает об отправке статьи на доработку, просит опубликовать в советских изданиях; благодарит за присланные книги; делится домашними новостями.
  • Письмо А.П. Ершов -> Н.С. Фурс 22.09.1978
    Рекомендация статьи В.Э. Иткина для журнала "Кибернетика".
  • Отзыв А.П. Ершов 24.09.1978
    о научных работах В.Э. Иткина.
  • Извещение -> А.П. Ершов 26.09.1978
    о заседании СНС по информатике. /Приписка: "Не был. Командировка"./
  • Отчет В.А. Непомнящий 24.10.1978
    о результатах приема ученого из НБР, зав. сектором Единого центра по математике и механике Болгарской АН Д.Г. Скордева в ВЦ СО АН СССР со 2 октября по 9 октября 1978 года.
  • Письмо М. Миякава -> А.П. Ершов 23.11.1978
    Автор беспокоится, получены ли отправленные им книги и письмо. Рад был пообщаться с проф. Н.Г. Загоруйко, который приезжал в Токио.
  • Письмо А.П. Ершов -> Н.С. Фурс 16.01.1979
    Посылает для рассмотрения публикации в журнале статью А.О. Буды. Приложена рецензия В.Э. Иткина.
  • Рабочая записка В.Э. Иткин 02.02.1979
    о работе М. Миякавы и В.Э. Иткина "Регуляризация и оптимизация программ".
  • Письмо А.П. Ершов -> М. Миякава 18.07.1979
    В преддверии его приезда в СССР обсуждается совместная работа; просьба привезти лампы для overhead projector; поздравление по случаю рождения второй дочки.
  • Письмо М. Миякава -> А.П. Ершов 28.07.1979
    Подтверждает прибытие в Новосибирск.
  • Программа А.П. Ершов 01.09.1979
    приема в ВЦ СО АН СССР профессора университета Paris-VII М.Нива (ИРИА, Франция).
  • Отчет рецензента В.Э. Иткин 24.10.1979
    о статье С. Пасси "Structured Programs for Turing Machines".
  • Письмо с приложением В.Э. Иткин -> Х. Миллс 25.12.1979
    Замечания В.Э. Иткина к статье Х. Миллса и проект сопроводительного письма А.П. Ершова.

Страницы

Назад