из гостиницы "Ижевск".

А.П. Ершов - участник региональной школы по программированию (проблемы синтеза программ).

Участники региональной школы по программированию (проблемы синтеза программ) в Сарапуле.

Заготовки для лекций "Трансформационная машина" и "Обоснование смешанных вычислений".

к лекции "Абстрактная вычислимость", подготовленных для Школы по синтезу программ в Сарапуле с 20 июня по 2 июля 1981 г.

"К постановке задачи синтеза программ".

о трансформационных преобразованиях.

Расписан алгоритм вычисления Y = X в степени N.

Ответы на вопрос "Кто какие определения вычислимости знает?". Собрано в Сарапуле на Школе по синтезу программ.

на Региональную школу-семинар по программированию (проблемы синтеза программ) и Расширенное заседание комиссии по синтезу программ КК ВТ АН СССР. А.П. Ершов был на этой школе председателем программного комитета.

участников Школы. /Текст рукописный./

полученные А.П. Ершовым во время выступления.

Записки, отрывной талон из Сарапульского дома отдыха "Учитель".

приготовленные для лекции по абстрактной вычислимости, прочитанной на Сарапульской школе.

Просьба поселить в гостиницу приехавшую из Ижевска для выступления на семинаре Л.К. Непейводу.

Сообщается о бронировании гостиницы с 28 июня.

Благодарность организаторам школы по синтезу программ. /Рукописный и машинописный варианты./

"Всесоюзное совещание" из газеты "Удмурдская правда" за 10 июля 1981 г.

"Программисты обмениваются опытом" из газеты "Удмурдская правда" за 20 июня 1981 г.

с инструкциями по поводу приглашения на школу и с просьбой позаботиться о билетах в Москву. /Черновые рукописный и машинописный тексты./