возможного доклада "Абстрактная вычислимость на основе формальных инвариантов, отражающих историю вычислений" на международном конгрессе математиков 1982 года.

После окончания редактирования адресатом работы автора, последний комментирует некоторые спорные моменты.

возможного доклада "Абстрактная вычислимость на основе формальных инвариантов, отражающих историю вычислений" на международном конгрессе математиков (Варшава, 1982 год). /Текст рукописный./

Благодарит за препринт; задает несколько вопросов по нему; предлагает подготовить статью для журнала "Theoretical Computer Science" и заслушать на семинаре результаты работы своего аспиранта по преобразованиям стандартных схем. /Текст рукописный./

Письмо со списком советских участников симпозиума (29 фамилий); о бронировании жилья в гостинице; о погоде в Новосибирске в 1-й половине августа.

Автор извиняется за задержку с ответом, вызванную болезнью, отвечает на вопросы из письма А.П. Ершова. Приложен препринт автора и конверт.

под названием "Схемы Янова с одинаковыми операторами".

Рассказывает о планируемых курсах по вычислительным наукам для профессоров университетов. Приглашает адресата прочитать курс лекций по автоматическому программированию.

Редакторские правки статьи А.П. Ершова для журнала "Проблемы кибернетики".

с названием "Решение задачи для универсального распределения сдвигов. Труд 1959 г.".

Предлагает заслушать В.К. Сабельфельда на отдельском семинаре в ИПМ; необходимо только заранее известить о конкретном дне.

Благодарит за книгу и рассказывает о новой своей работе, только что сданной в печать. Приложен оттиск статьи "О вычислениях в одном классе программ" из журнала "Проблемы кибернетики", вып 32.

Просьба ознакомиться с поправками в отредактированной статье и высказать свое отношение.

к диссертационной работе с краткими комментариями и просьбой быть оппонентом.

Обсуждение редакторских правок к статье адресата.

Просьба уточнить дату приезда в Ригу.

Просьба согласиться оппонировать работу В.К.Сабельфельда.

Автор благодарит за помощь в рассылке своего письма. Они вместе с женой написали статью по истории булевой оптимицации для нового журнала. Посылает эту статью, копию письма Э.З. Любимскому и копию статьи А.А. Ляпунова. Просит в связи с этой статьей сообщить информацию о работах С.С. Камынина и Янова.

Очень сожалеет, что адресат не смог приехать в США. Посылает интересные работы с прошедших конференций и, специально для адресата, работу доктора Рутисхаузера о языке АЛГОЛ. Надеется, что все же когда-нибудь Андрей Петрович сможет приехать в Чепел-Хилл.

официального оппонента о диссертации Р.И. Подловченко "Моделирование программ схемами и построение полных систем преобразований схем", представленной на соискание ученой степени доктора физико-математических наук.