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

1 2
По порядку | По алфавиту | По дате

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