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

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

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