Архив
Внутрисоюзные командировки
Москва, Ижевск, Сарапул
Бумажные сувениры, 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
Просьба поселить в гостиницу приехавшую из Ижевска для выступления на семинаре Л.К. Непейводу.
Письмо, Г. И. Марчук->А.П. Ершов, 29.05.1981
Сообщается повестка дня Пленума КК ВТ АН СССР по проблемам разработки, координации работ и использованию пакетов прикладных программ.
Письмо с конвертом, 22.09.1981
Благодарность организаторам школы по синтезу программ. /Рукописный и машинописный варианты./
Приглашение, 20.06.1981-02.07.1981
на Региональную школу-семинар по программированию (проблемы синтеза программ) и Расширенное заседание комиссии по синтезу программ КК ВТ АН СССР. А.П. Ершов был на этой школе председателем программного комитета.
Проект решения, 29.06.1981
Пленума координационного комитета АН СССР по вычислительной технике "Проблемы разработки, координации работ и использованию пакетов прикладных программ".
Рабочая запись, 23.06.1981
Расписан алгоритм вычисления Y = X в степени N.
Рабочие записи, 06.07.1981
связанные с пребыванием в Москве. Расписание встреч, телефоны.
Список
участников Школы. /Текст рукописный./
Статья
"К постановке задачи синтеза программ".
Статья, 10.07.1981
"Всесоюзное совещание" из газеты "Удмурдская правда" за 10 июля 1981 г.
Статья, 20.06.1981
"Программисты обмениваются опытом" из газеты "Удмурдская правда" за 20 июня 1981 г.
Тезисы, 19.06.1981-22.06.1981
Заготовки для лекций "Трансформационная машина" и "Обоснование смешанных вычислений".
Телеграмма, А.П. Ершов->Н. Н. Непейвода, 16.06.1981
Сообщает время прилета и номер рейса, просит позаботиться о запасной лампе для кодоскопа.
Черновики слайдов, 24.06.1981
к лекции "Абстрактная вычислимость", подготовленных для Школы по синтезу программ в Сарапуле с 20 июня по 2 июля 1981 г.

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

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