|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Владимир Эммануилович Иткин Блокнот, 06.10.1983-10.10.1983 Рабочие записи, сделанные во время работы Школы по смешанным вычислениям.
Письмо, А.П. Ершов->А.Н. Пораде, 02.01.1968Обращение к руководству завода, направившему В.Э. Иткина на учебу в НГУ, дать согласие на его поступление в аспирантуру к автору письма.
Доклад, 01.01.1971"Theory of Program Schemata" /машинописный вариант/. Приложены библиография и рисунки.
Корректура статьи, 27.12.1973"Современное состояние теории схем программ" для журнала "Проблемы кибернетики".
Постановление, 16.02.1982о проведении рабочего совещания по теме двустороннего сотрудничества Академий наук СССР и Болгарии.
Письмо с приложением, А.П. Ершов->С. И. Будыхо, 03.02.1976Автор возвращает рукопись Хачатряна с положительной рецензией; еще одна статья в работе.
Тезисывозможного доклада "Абстрактная вычислимость на основе формальных инвариантов, отражающих историю вычислений" на международном конгрессе математиков 1982 года.
План, 30.10.1975научного ознакомления с работами отделения информатики на ноябрь 1975 г. для М. Миякавы.
Записка, В. Э. Иткин->А.П. Ершовс просьбой разрешить выступить на дискуссии.
Письмо, В. Э. Иткин->А.П. ЕршовПросит освободить от дел, связанных с подготовкой сборника по смешанным вычислениям.
Письмо, В. Э. Иткин->В. Е. Котов, 10.05.1984Выражает недовольство тем, что в работе М.А. Бульонкова по смешанным вычислениям используется конструкция автора без надлежащей ссылки.
Телеграмма, А.П. Ершов->Д. Бьорнер, 08.01.1988с сообщением о том, что в некоторых докладах опечатки исправлены; часть докладов уже напечатана.
Черновая рукопись, 25.03.1971основного текста доклада. Приложены черновики рисунков и готовые рисунки.
Письмо, А.П. Ершов->Ф. Самнер, 15.01.1980Отчет по подготовке к Конгрессу
ИФИП-80.
Отчет рецензента, 15.02.1983о статье Г.Р. Тирри "Simulation, Reduction, and Preservation of Correctness Properties of Parallel Systems". Мнение рецензента - положительное.
Тезисы, 10.12.1980возможного доклада "Абстрактная вычислимость на основе формальных инвариантов, отражающих историю вычислений" на международном конгрессе математиков (Варшава, 1982 год). /Текст рукописный./
Письмо, А.П. Ершов->А. А. Дородницын, 05.02.1975Ответ на письмо адресата от 13.01.1975. Автор заинтересован в участии в конференции ИНФОПОЛ и готов сделать доклад на тему "Производственные системы построения трансляторов". Перечисляет сотрудников ВЦ СО АН СССР и темы обзорных докладов, с которыми они могли бы выступить на этой конференции.
Отчет рецензента, 24.10.1979о статье С. Пасси "Structured Programs for Turing Machines".
Представление, 01.01.1983(?)на соискание премии им. А.Н. Крылова цикла работ А.П. Ершова "Теория и применение смешанных вычислений". /Рукописный и машинописный тексты./
Справка, 25.03.1978о командировании в Болгарию сотрудников ВЦ СО АН СССР А.П. Ершова и В.Э. Иткина в рамках двустороннего сотрудничества между Академией наук СССР и БАН в 1979 году.
1 2 3 4 5 6 7 По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
