Статья "К постановке задачи синтеза программ".
Списокучастников Школы. /Текст рукописный./
ЗапискаСообщается о бронировании гостиницы с 28 июня.
Письмо, А.П. Ершов->М. М. Кулешов, 08.05.1981Просьба поселить в гостиницу приехавшую из Ижевска для выступления на семинаре Л.К. Непейводу.
Слайды, 06.06.1981приготовленные для лекции по абстрактной вычислимости, прочитанной на Сарапульской школе.
Телеграмма, А.П. Ершов->Н. Н. Непейвода, 10.06.1981с инструкциями по поводу приглашения на школу и с просьбой позаботиться о билетах в Москву. /Черновые рукописный и машинописный тексты./
Телеграмма, А.П. Ершов->Н. Н. Непейвода, 16.06.1981Сообщает время прилета и просит позаботиться о запасной лампе для кодоскопа.
Телеграмма, А.П. Ершов->Г. С. Цейтин, 17.06.1981с просьбой взять в Ижевск статью Кнута и ее перевод.
Карта гостя, 18.06.1981-20.06.1981из гостиницы "Ижевск".
Тезисы, 19.06.1981-22.06.1981Заготовки для лекций "Трансформационная машина" и "Обоснование смешанных вычислений".
Приглашение, 20.06.1981-02.07.1981на Региональную школу-семинар по программированию (проблемы синтеза программ) и Расширенное заседание комиссии по синтезу программ КК ВТ АН СССР. А.П. Ершов был на этой школе председателем программного комитета.
Бумажные сувениры, 20.06.1981-01.07.1981Записки, отрывной талон из Сарапульского дома отдыха "Учитель".
Статья, 20.06.1981"Программисты обмениваются опытом" из газеты "Удмурдская правда" за 20 июня 1981 г.
Фотография, 22.06.1981(?)А.П. Ершов - участник региональной школы по программированию (проблемы синтеза программ).
Записка, С. С. Лавров->А.П. Ершов, 23.06.1981о трансформационных преобразованиях.
Рабочая запись, 23.06.1981Расписан алгоритм вычисления Y = X в степени N.
Черновики слайдов, 24.06.1981к лекции "Абстрактная вычислимость", подготовленных для Школы по синтезу программ в Сарапуле с 20 июня по 2 июля 1981 г.
Записки, 25.06.1981Ответы на вопрос "Кто какие определения вычислимости знает?". Собрано в Сарапуле на Школе по синтезу программ.
Фотография, 27.06.1981(?)Участники региональной школы по программированию (проблемы синтеза программ) в Сарапуле.
Записки, 28.06.1981полученные А.П. Ершовым во время выступления.
1
2
По порядку | По алфавиту | По дате |