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

Письмо, А.П. Ершов->Н. С. Фурс, 26.02.1975
Рекомендует к публикации работы В.Э. Иткина "Эквивалентность свободных схем программ" и А.О. Буды "Функциональная эквивалентность стандартных схем с узловыми вершинами".
Телеграмма, А.П. Ершов->В. Э. Иткин, 29.03.1977(?)
Извиняется за задержку статьи Цейтлиным; статья застряла на этане внутреннего редактирования; меры принимаются.
Информация, 10.02.1988
Направления работ отделов информатики и программирования.
Отзыв, 24.09.1978
о научных работах В.Э. Иткина.
Телеграмма, А.П. Ершов->В. Э. Иткин, 08.04.1977
Статьи не найдены. Просьба вспомнить, у кого их можно поискать.
Отчет
о работе В.Э. Иткина.
Протокол
заседания по обсуждению состояния аванпроекта системы БЕТА. /Текст рукописный./
Рецензия, 24.10.1986
на статью Н.Т. Захаровой, В.А. Петрушина, Е.Л. Ющенко "Денотационная семантика процессов смешанных вычислений для структурного языка программирования".
Телеграмма, А.П. Ершов->В. Э. Иткин, 13.04.1977
С глубоким сожалением и извинениями сообщает о возможной утере статей Цейтлина. Просит подготовить к отправке на конференцию в Чехословакию работы по корректности смешанного выполнения.
Отчет, 28.03.1978
младшего научного сотрудника лаборатории теоретического программирования В.Э. Иткина о работе за 1977 год.
Реферат, 09.02.1978
статьи "Correctness of mixed computation in Algol-like programs".
Счет, 03.09.1970
от Иткина В.Э.
Письмо, А.П. Ершов->В.М. Актимиров, 30.07.1986
Предлагает адресату приехать в Новосибирск для обсуждения выдвинутых идей и выступления на семинаре. /Текст рукописный./
Служебная записка, А.П. Ершов->А. С. Алексеев, 17.12.1986
об оформлении заявки на участие в коллоквиуме по частичным и смешанным вычислениям для сотрудников ВЦ СО АН СССР.
Письмо, А. Порада->А.П. Ершов, 07.02.1968
В ответ на запрос адресата от 02.01.1968 директор Запорожского абразивного комбината отпускает Иткина В.Э. в Новосибирск для поступления в аспирантуру.
Повестка, В. Т. Дементьев->А.П. Ершов..., 29.04.1974
заседания Секции кибернетики Объединённого учёного совета по физико-математическим и техническим наукам СО АН СССР. /Приписка Андрея Петровича: "Был. Блестящие защиты! Представил."/
Повестка, В. Т. Дементьев->А.П. Ершов..., 01.11.1974
заседания Секции по кибернетике Объединённого учёного совета по физико-математическим и техническим наукам СО АН СССР. /Приписка Андрея Петровича: "Был. Защитились 14-1-2 - Вальковский; 15-1-1 - Иткин"./
Письмо, 03.09.1974
Рекомендует к публикации статью аспиранта НГУ Син Мен Де "Логико-термально эквивалентные преобразования схем программ".
Письмо, Е. А. Макеева->А.П. Ершов, 20.08.1975
Личное письмо с просьбой помочь семье В.Э. Иткина.
Письмо, Р. И. Подловченко->А.П. Ершов, 03.04.1972
о проблемах, возникших из-за недоразумения с конспектом выступления А.П. Ершова по поводу доклада В.Э. Иткина; сообщение об отправке обзора и оттисков двух последних статей.

1 2 3 4 5 6 7
По порядку | По алфавиту | По дате


Назад

Switch to English | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016