Архив
Папка 1 (56 л., 100 стр.)
Аспирантура в МГУ. Конспекты лекций, работы 1957 года.
Папка 2 (17 л., 114 стр.)
2-й год аспирантуры: конспекты лекции по функциональному анализу и по курсам В.А. Успенского и С.В. Яблонского; рефераты; тезисы доклада; конспекты; статьи.
Папка 3 (8 л., 133 стр.)
5-й курс: подготовка к государственным экзаменам; конспекты лекций по историческому материализму и ТФДП; черновик дипломной работы и собственно дипломная работа.
Папка 4 (16 л., 37 стр.)
4-й курс: конспекты лекций; рабочие записи, сделанные при самостоятельном изучении материала; рабочие записи на семинарах; курсовая работа.
Папка 5 (14 л., 29 стр.)
1-й год аспирантуры: статья в ДАН; задачи (геодезическая; обращение матриц; задача института механики и ИАТ); философия; конспекты лекций В.А. Успенского и В.С. Яблонского.
Папка 6 (9 л., 9 стр.)
3-й курс: конспекты лекций по обыкновенным дифференциальным уравнениям; механике; ТФДП; политэкономии; методам вычислений; гидромеханике.
Папка 7 (589 л., 591 стр.)
"Операторные алгоритмы-1".
Папка 8 (577 л., 579 стр.)
"Программирующая программа для БЭСМ-3".
Папка 9 (420 л., 424 стр.)
"Программирующая программа для БЭСМ-1".
Папка 10 (351 л., 351 стр.)
Работы 1958 года.
Папка 11 (332 л., 332 стр.)
"Программирующая программа для БЭСМ-2".
Папка 12 (358 л., 396 стр.)
Научные командировки в Англию и Венгрию (1958-й год).
Папка 13 (217 л., 218 стр.)
Рефераты, написанные в период работы в качестве референта в журнале "Математика".
Папка 14 (243 л., 254 стр.)
Укладка графа (общий случай).
Папка 15 (126 л., 128 стр.)
Конспекты по английскому языку. Статьи и переводы 1959 года.
Папка 16 (289 л., 315 стр.)
Работы 1961-1964 гг.- курс лекций по входному языку; статья "Об одном виде контакта человека и машины" и др.
Папка 17 (117 л., 120 стр.)
Секция информатики и вычислительной техники в учебных заведениях (ИВТУЗ)Научно-технического совета Межведомственной комиссии по вычислительной технике.
Папка 18 (332 л., 375 стр.)
Материалы лаборатории искусственного интеллекта ВЦ СО АН СССР и Научного совета по комплексной проблеме "Кибернетика".
Папка 19 (224 л., 406 стр.)
"Альфа-книги". Проект, компоновка, прокрутка; "Детство", "Отрочество".
Папка 20 (14 л., 61 стр.)
Конспекты лекций, прослушанных на 1-м и 2-м курсах мехмата МГУ. Из школьных лет: поездки в Москву в 1947 и в 1948 годах.
Папка 21 (612 л., 659 стр.)
"Распределение памяти". Задача об экономии и распределении памяти в Альфа-трансляторе.
Папка 22 (673 л., 698 стр.)
"Альфа-сборник".
Папка 23 (386 л., 608 стр.)
"Альфа-книги". "Рождение".
Папка 24 (378 л., 393 стр.)
"Альфа".
Папка 25 (101 л., 113 стр.)
"Альфа-транслятор". Блок "Перевод на 15-ти разрядный код".
Папка 26 (317 л., 316 стр.)
"Входной язык". Варианты статьи "Входной язык для системы автоматического программирования".
Папка 27 (107 л., 107 стр.)
"Альфа-транслятор". Статья А.П. Ершова, Г.И. Кожухина, Ю.М. Волошина "Входной язык системы автоматического программирования для машины М-20".
Папка 28 (451 л., 459 стр.)
"Входной язык системы автоматического программирования для М-20 (САПМ-20)", 1960 г.
Папка 29 (470 л., 498 стр.)
"Работы 1960 года". Переводы трудов Ф.П. Брукса, Дж.Э. Блоу, П. Наура.
Папка 30 (107 л., 108 стр.)
Командировка в Париж и Гренобль (09-19.11.1966). Участие в заседании Программного комитета ИФИП; посещение ряда научных организаций.
Папка 31 (190 л., 190 стр.)
Работы 1966 года: "Алгоритмические языки программирования", "Об операторных схемах над общей и распределенной памятью".
Папка 32 (244 л., 281 стр.)
Конгресс ИФИП (24-27.05.1965); Нью-Йорк, США.
Папка 33 (273 л., 276 стр.)
Работа над статьей "Об операторных схемах Янова" (Операторные алгоритмы-3). Работы Г.И. Марчука (1964-1965 гг.).
Папка 34 (291 л., 512 стр.)
Заседания Рабочей группы 2.1 Технического комитета 2 ИФИП.
Папка 35 (94 л., 157 стр.)
"Персоналии", 1953-1964 гг.
Папка 36 (199 л., 200 стр.)
Аннотированный указатель материалов по вычислительному делу в США (по результатам научной командировки 1970 года).
Папка 37 (158 л., 159 стр.)
"Дела 1959-1964 гг." Научно-организационная корреспонденция ВЦ АН и ВЦ СО АН.
Папка 38 (22 л., 22 стр.)
Текущие дела ВЦ СО АН СССР.
Папка 39 (69 л., 69 стр.)
Текущие дела.
Папка 40 (260 л., 262 стр.)
ВКП-2. Отклоненные заявки.
Папка 40-1 (544 л., 546 стр.)
ВКП-2. Заявки, переписка по поводу участия в конференции.
Папка 41 (92 л., 92 стр.)
Отчет и материалы к отчету о научной командировке в США в 1970 году.
Папка 42 (48 л., 48 стр.)
Математический конгресс. Москва. 1966 год.
Папка 43 (117 л., 117 стр.)
КБ ВЦ. Архив.
Папка 44 (185 л., 185 стр.)
ФАКЕЛ.
Папка 45 (167 л., 167 стр.)
Научная командировка в США (18.10-24.11.1970). Обоснование; записи бесед.
Папка 46 (518 л., 522 стр.)
"Вычислительное дело в США". Отчет о поездке в США в мае 1965 г. (Конгресс ИФИП-65).
Папка 47 (198 л., 198 стр.)
Докторская диссертация А.П. Ершова "Некоторые вопросы теории программирования и конструирования трансляторов" (1964-1966 гг.).
Папка 48 (148 л., 148 стр.)
Командировка (09-19.11.1966) во Францию (Париж, Гренобль). Участие в работе Программного комитета ИФИП; посещение ряда научных организаций; отчет.
Папка 49 (32 л., 32 стр.)
Письма из Министерства просвещения СССР. Телеграмма из Будапешта.
Папка 51 (672 л., 672 стр.)
ИФИП-68.
Папка 53 (4 л., 333 стр.)
Пробное учебное пособие "Основы информатики и вычислительной техники" (в 2-х частях) и пособие для учителей "Изучение основ информатики и вычислительной техники" (в 2-х частях).
Папка 54 (181 л., 181 стр.)
Сборник переводов "Автоматизация программирования" под ред. А.П. Ершова.
Папка 55 (131 л., 132 стр.)
Симпозиум "Методы реализации новых алгоритмических языков". Новосибирск, 21-24.05.1968.
Папка 56 (48 л., 48 стр.)
Бюллетени, журналы.
Папка 57 (62 л., 62 стр.)
Список литературы, привезенной из научной командировки в США в 1970 году.
Папка 58 (437 л., 437 стр.)
ИФИП-68.
Папка 59 (617 л., 617 стр.)
ИФИП-68
Папка 60 (28 л., 28 стр.)
Стихи А.П. Ершова
Папка 61 (298 л., 297 стр.)
Язык ЭПСИЛОН и система СИГМА.
Папка 62 (360 л., 370 стр.)
Документы и дела отдела программирования Института математики с вычислительным центром СО АН СССР.
Папка 63 (529 л., 529 стр.)
АИСТ: рабочие записки по содержанию и организации работ по проекту; аванпроект АИСТа-0; "Новости в разделении времени" и др.
Папка 64 (7 л., 7 стр.)
Тексты выступления на Конгрессе ИФИП-68 (Эдинбург) и на ВКП-1 (Киев).
Папка 65 (138 л., 138 стр.)
ППП "Школьница".
Папка 66 (14 л., 478 стр.)
Техническая документация на ППП "Школьница".
Папка 67 (204 л., 204 стр.)
ППП "Школьница". Итоговый отчет.
Папка 68 (205 л., 205 стр.)
Переписка по поводу участия в различных международных конференциях (Англия, Венгрия, Болгария, ЧССР, Испания и другие).
Папка 69 (163 л., 200 стр.)
Статья "Computability in Arbitrary Domains and Bases" для сборника "Advances in Mathematics", посвященного Н. Метрополису. Рукопись, авторский оттиск, переписка.
Папка 70 (183 л., 183 стр.)
VII-1984. Смешанные вычисления. BM.H.&S.A.
Папка 71 (250 л., 264 стр.)
Информация о Рабочей конференции ИФИП по спецификации и преобразованию программ; сведения о Мюнхенском проекте преобразования программ GIP.
Папка 72 (310 л., 310 стр.)
Работы 1967 года: статьи и переводы.
Папка 73 (316 л., 321 стр.)
НГУ.
Папка 74 (312 л., 313 стр.)
Математическая энциклопедия.
Папка 75 (167 л., 243 стр.)
Подготовка программы обучения информатике и программированию.
Папка 76 (663 л., 727 стр.)
Гранки и рукописи пробного учебного пособия "Основы информатики и вычислительной техники", Ч. 2.
Папка 77 (378 л., 406 стр.)
"МФРЯ"- машинный фонд русского языка.
Папка 78 (16 л., 16 стр.)
Рецензии на методическое пособие "Изучение основ информатики и вычислительной техники в средних учебных заведениях" , Ч. 2.
Папка 79 (150 л., 150 стр.)
Концепция информатизации народного образования.
Папка 80 (302 л., 310 стр.)
Подготовка и проведение рабочего семинара по автоматизации программирования по поручению Комиссии по эксплуатации вычислительной машины М-20 (КЭВМ-20). Новосибирск, 29.01-02.02.1965.
Папка 81 (3 л., 11 стр.)
Заказ на статьи для Энциклопедии кибернетики.
Папка 82 (75 л., 75 стр.)
Автореферат диссертации А. Раденски "Функциональное программирование: FP-системы,замедленные вычисления и недетерминизм".
Папка 83 (312 л., 312 стр.)
Журнал для регистрации входящих почтовых поступлений (1969-1979 гг.).
Папка 84 (353 л., 353 стр.)
Исходящая зарубежная корреспонденция (1969-1972 гг.).
Папка 85 (60 л., 60 стр.)
Текущие дела отдела программирования ВЦ СО АН СССР.
Папка 86 (233 л., 238 стр.)
Входящая корреспонденция (1974-1975 гг.).
Папка 87 (171 л., 178 стр.)
Входящая корреспонденция (1974 г.).
Папка 88 (364 л., 378 стр.)
Входящая корреспонденция (1972-1973 гг.).
Папка 89 (363 л., 389 стр.)
Входящая зарубежная корреспонденция (1975-1976 гг.).
Папка 90 (281 л., 282 стр.)
"Входной язык". Статья А.П. Ершова, Г.И. Кожухина, Ю.М. Волошина "Входной язык системы автоматического программирования" на английском языке. /Рукописный и машинописный тексты./
Папка 91 (336 л., 348 стр.)
Входящая корреспонденция (1969-1971 гг.).
Папка 92 (255 л., 254 стр.)
Входящая корреспонденция (1968-1969 гг.).
Папка 93 (246 л., 246 стр.)
Входящая корреспонденция (1967-1968 гг.).
Папка 94 (206 л., 207 стр.)
Входящая корреспонденция (1967-1968 гг.).
Папка 95 (139 л., 149 стр.)
Входящая отечественная корреспонденция.
Папка 96 (334 л., 334 стр.)
Исходящая корреспонденция (1976-1978 гг.).
Папка 97 (242 л., 247 стр.)
Входящая отечественная корреспонденция (1963-1965 гг.).
Папка 98 (201 л., 202 стр.)
Журналы учета почтовых отправлений (1961-1966 гг.).
Папка 99 (185 л., 185 стр.)
Исходящая отечественная корреспонденция (1963-1966 гг.).
Папка 100 (139 л., 139 стр.)
Исходящая корреспонденция (1959-1962 гг.).
Папка 101 (319 л., 319 стр.)
Входящая корреспонденция (1957-1962 гг.).
Папка 102 (153 л., 153 стр.)
Журнал для регистрации исходящей корреспонденции (1969-1982 гг.).
Папка 103 (295 л., 295 стр.)
Переписка.
Папка 104 (399 л., 399 стр.)
Деловая переписка.
Папка 105 (279 л., 279 стр.)
Деловая переписка.
Папка 106 (675 л., 680 стр.)
IFIP WG2.1 23-3 1977-1982.
Папка 107 (474 л., 485 стр.)
Пробное учебное пособие "Основы информатики и вычислительной техники", Ч. 2. Схема изложения. Отошедшие материалы.
Папка 108 (306 л., 364 стр.)
АН СССР - общие собрания, постановления, уставы, типовые положения и проч.
Папка 109 (251 л., 251 стр.)
Работа А.П. Ершова в редколлегии журнала "Acta Informatica" (с апреля 1977 г.).
Папка 110 (304 л., 309 стр.)
"Микромашины и системы" (1983-1986 гг.).
Папка 111 (84 л., 84 стр.)
РУБИН: отчеты по теме.
Папка 112 (588 л., 589 стр.)
Исходящая зарубежная корреспонденция.
Папка 113 (54 л., 54 стр.)
Сибирский математический журнал.
Папка 114 (39 л., 39 стр.)
Работа в редколлегии сборника "Прикладная информатика".
Папка 115 (56 л., 57 стр.)
Сотрудничество с Министерством электронной промышленности.
Папка 116 (91 л., 94 стр.)
НГУ. Кафедра теоретической физики.
Папка 117 (20 л., 20 стр.)
Материалы экспертного совета по математике и механике Высшей аттестационной комиссии СССР.
Папка 118 (86 л., 87 стр.)
САПФИР: развертывание работ.
Папка 119 (305 л., 305 стр.)
Отзывы, рецензии А.П. Ершова на статьи, рукописи, диссертации; характеристики, представления на должность.
Папка 120 (221 л., 221 стр.)
Исходящая корреспонденция (1986-1988 гг.).
Папка 121 (578 л., 578 стр.)
Исходящая корреспонденция (1979-1985 гг.).
Папка 122 (441 л., 447 стр.)
Входящая зарубежная корреспонденция (1977-1978 гг.).
Папка 123 (490 л., 513 стр.)
Входящая корреспонденция (1975-1978 гг.).
Папка 124 (266 л., 266 стр.)
Отправления за границу (1958-1962 гг.).
Папка 125 (164 л., 165 стр.)
Исходящая зарубежная корреспонденция (1961-1963 гг.).
Папка 126 (195 л., 195 стр.)
Письма за границу (1965-1966 гг.).
Папка 127 (291 л., 292 стр.)
Письма за границу (1968-1969 гг.).
Папка 128 (352 л., 352 стр.)
Письма за границу (1973-1975 гг.).
Папка 129 (445 л., 446 стр.)
Письма за границу (1976-1978 гг.).
Папка 130 (316 л., 328 стр.)
Входящая зарубежная корреспонденция (1974 г.).
Папка 131 (238 л., 239 стр.)
Письма из-за границы (1967 г.).
Папка 132 (234 л., 235 стр.)
Письма из-за границы (1966 г.).
Папка 133 (173 л., 176 стр.)
Корреспонденция из-за рубежа (1965 г.).
Папка 134 (224 л., 224 стр.)
Письма из-за границы (1963-1964 гг.).
Папка 135 (393 л., 395 стр.)
Письма из-за границы (1958-1962 гг.).
Папка 136 (331 л., 335 стр.)
Входящая зарубежная корреспонденция (1972 г.).
Папка 137 (306 л., 316 стр.)
Входящая зарубежная корреспонденция (1970-1971 гг.).
Папка 138 (225 л., 225 стр.)
Входящая зарубежная корреспонденция (1970 г.).
Папка 139 (296 л., 308 стр.)
Входящая зарубежная корреспонденция (1968-1969 гг.).
Папка 140 (300 л., 302 стр.)
Входящая зарубежная корреспонденция (1973 г.).
Папка 141 (275 л., 326 стр.)
В основном официальные бумаги, связанные с Общими собраниями АН СССР за период 1978-1984 гг.
Папка 142 (171 л., 171 стр.)
Деловые бумаги для начальства (1965-1968 гг.).
Папка 143 (74 л., 74 стр.)
Местный профсоюзный комитет.
Папка 144 (74 л., 74 стр.)
ДАН СССР.
Папка 146 (318 л., 325 стр.)
Входящая зарубежная корреспонденция (1973 г.).
Папка 147 (269 л., 290 стр.)
Письма из-за границы (1968 г.).
Папка 148 (158 л., 158 стр.)
Сотрудничество с журналом "Квант".
Папка 149 (49 л., 49 стр.)
Распечатки, примеры работы программ.
Папка 150 (206 л., 205 стр.)
САПФИР: эскизный и технический проекты.
Папка 151 (332 л., 332 стр.)
Публикации; июль-декабрь 1985 г.
Папка 152 (101 л., 111 стр.)
Поездки по СССР, 1985 г.
Папка 153 (244 л., 245 стр.)
Подготовка государственных решений по вопросам школьной информатики.
Папка 154 (141 л., 169 стр.)
АН СССР.
Папка 155 (279 л., 283 стр.)
Статьи и публикации 1985 г.
Папка 156 (403 л., 403 стр.)
"АСТРА".
Папка 157 (46 л., 61 стр.)
Публичные выступления.
Папка 158 (192 л., 192 стр.)
Поздравления А.П. Ершову по случаю избрания его действительным членом Академии наук СССР.
Папка 159 (254 л., 290 стр.)
Научные контакты, 1985 г.
Папка 160 (645 л., 654 стр.)
"Информатика-9". Версии текста.
Папка 161 (106 л., 113 стр.)
ICMI.
Папка 162 (202 л., 204 стр.)
Работа над пробным учебным пособием по информатике для 9-х классов. Схема изложения, макет, переписка.
Папка 163 (40 л., 46 стр.)
Методическое пособие для учителей по курсу "Основы информатики и вычислительной техники", Ч. 1.
Папка 164 (230 л., 303 стр.)
Поездки и конференции; январь-сентябрь 1984 г.
Папка 165 (252 л., 308 стр.)
Поездки и конференции, сентябрь-декабрь 1984 г.
Папка 166 (293 л., 312 стр.)
IPL. 1982-1984 гг.
Папка 167 (183 л., 183 стр.)
Прогноз по важнейшему направлению науки "Школьная информатика". Статьи, интервью.
Папка 168 (123 л., 123 стр.)
Конференция ICME-VI. Рукопись доклада. Редакционная работа в журнале "Информатика и образование".
Папка 169 (19 л., 20 стр.)
ИФИП-89.
Папка 170 (235 л., 264 стр.)
Нидерланды (06-13.06.1983). Подготовка, пребывание, отчет. "Будущее автоматизации" (доклад и статья).
Папка 171 (220 л., 222 стр.)
Италия. Третий международный симпозиум по технологии программирования (07-13.11.1983). Подготовка. Пребывание. Отчет.
Папка 172 (215 л., 219 стр.)
Сентябрь 1983 г. ИФИП-83. Франция.
Папка 173 (251 л., 252 стр.)
Научно-техническое сотрудничество с Болгарией, ЧССР, Польшей, ГДР.
Папка 174 (671 л., 673 стр.)
НФ ИТМ и ВТ.
Папка 175 (206 л., 206 стр.)
Комплексная программа научно-технического прогресса СССР до 2005 г. (КП НТП СССР; 2005).
Папка 176 (239 л., 240 стр.)
Международные конференции 1979-1983 гг.
Папка 177 (296 л., 305 стр.)
Сотрудничество с НФ ИТМ и ВТ. ВЦКП "Эльбрус".
Папка 178 (199 л., 199 стр.)
КП НТП (Комплексная программа научно-технического прогресса) СССР до 2005 года. Препринт и проект программы.
Папка 179 (189 л., 216 стр.)
Научное творчество. Работы 1983 г. Разное.
Папка 180 (415 л., 415 стр.)
Материалы научного сотрудничества с зарубежными странами.
Папка 181 (372 л., 385 стр.)
1983-1984 гг. Поездки и конференции.
Папка 182 (377 л., 380 стр.)
Школа по смешанным вычислениям, Лиманчик, октябрь 1983 г.
Папка 183 (337 л., 339 стр.)
НФ ИТМ и ВТ. 1972-1982 гг.
Папка 184 (201 л., 202 стр.)
СССР - США.
Папка 185 (175 л., 271 стр.)
Польша. Командировки. 07-11.08.1982; 14-27.08.1983.
Папка 186 (302 л., 305 стр.)
"Абстрактная вычислимость в алгебраических системах" (Ургенч, 1979-1980); "Смешанные вычисления: потенциальные применения и проблемы для исследований" (Паланга, 1980; советско-французский коллоквиум, 1981; TCS, 1982).
Папка 187 (378 л., 379 стр.)
РУБИН: развертывание работ по проекту.
Папка 188 (217 л., 217 стр.)
Лаборатория. 1976-1980 гг.
Папка 189 (261 л., 404 стр.)
Швейцария. Третья всемирная конференция по применению ЭВМ в обучении. Подготовка, пребывание, отчет.
Папка 190 (266 л., 267 стр.)
Папка 191 (88 л., 116 стр.)
"Ургенчский симпозиум". Научные отчеты и публикации в СМИ.
Папка 192 (472 л., 473 стр.)
Программный комитет Конгресса ИФИП-80. Заседания, другие материалы.
Папка 193 (193 л., 208 стр.)
Всесоюзные конференции 1980-го года. Новосибирск / Паланга / Таллин / Репино / Тбилиси.
Папка 194 (300 л., 300 стр.)
Поездка в Нидерланды и США (1981 г.)
Папка 195 (313 л., 318 стр.)
ИФИП-80. Япония, Австралия, 01-14.10.1980. Подготовка, пребывание, отчёт.
Папка 196 (438 л., 438 стр.)
Сотрудничество СССР - США, 1972-1982 гг.
Папка 197 (153 л., 159 стр.)
Поздравления Андрею Петровичу Ершову в связи с 50-летием.
Папка 198 (271 л., 298 стр.)
Работы 1980 г.
Папка 199 (367 л., 368 стр.)
Программный комитет ИФИП-80. Переписка с авторами и рецензентами.
Папка 200 (382 л., 383 стр.)
Программный комитет ИФИП-80. Титульные листы и рецензии представленных докладов.
Папка 201 (132 л., 135 стр.)
TSE (1977-1980 гг.). Болгария. Разное.
Папка 202 (262 л., 268 стр.)
Британские лекции (1977-1980 гг.).
Папка 203 (205 л., 205 стр.)
Проекты повесток заседаний Президиума Сибирского отделения АН СССР.
Папка 204 (226 л., 227 стр.)
Разное за 1984 г.
Папка 205 (131 л., 131 стр.)
Разное за 1977 г.
Папка 206 (210 л., 237 стр.)
ФРГ. Подготовка, пребывание, доклад, отчет. Статья "On Mixed Computation: on Strict and Polyvariant Computation Schemes", 1984 г.
Папка 207 (110 л., 113 стр.)
Греция. Поездка, отчет. Май 1984 г.
Папка 208 (503 л., 512 стр.)
Выборы в Академию наук СССР. Декабрь 1984 г.
Папка 209 (384 л., 385 стр.)
Публикации 1984 г.
Папка 210 (458 л., 459 стр.)
Материалы ВНТК Велихова и часть итоговых документов ВНТК.
Папка 211 (447 л., 447 стр.)
Часть итоговых документов ВНТК.
Папка 212 (417 л., 417 стр.)
Часть итоговых документов ВНТК.
Папка 213 (286 л., 287 стр.)
Материалы Рабочей группы ВНТК по математическому обеспечению.
Папка 214 (449 л., 448 стр.)
Единый ряд многомашинного вычислительного комплекса "ЭЛЬБРУС" (ЕР МВК). Рабочие документы и техническая документация.
Папка 215 (365 л., 365 стр.)
Единый ряд многомашинного вычислительного комплекса "ЭЛЬБРУС" (ЕР МВК). Техническая документация.
Папка 216 (244 л., 244 стр.)
Единый ряд многомашинного вычислительного комплекса "ЭЛЬБРУС" (ЕР МВК). Техническая документация.
Папка 217 (725 л., 756 стр.)
Ургенчский симпозиум. Русскоязычные труды, Т. 1.
Папка 218 (412 л., 439 стр.)
Ургенчский симпозиум. Русскоязычные труды, Т. 2. Переписка.
Папка 219 (314 л., 314 стр.)
Разное.
Папка 220 (259 л., 259 стр.)
НГУ. Кафедра. 1973-1982 гг.
Папка 221 (311 л., 311 стр.)
ФРГ, Италия. Подготовка, пребывание, отчет
Папка 222 (688 л., 688 стр.)
Технический комитет 2 ИФИП. 1980-1982 гг.
Папка 223 (307 л., 300 стр.)
Ургенчский симпозиум. Оригинал-макет 122-го тома "Lecture Notes in Computer Science", Т. 1.
Папка 224 (240 л., 251 стр.)
Ургенчский симпозиум. Оригинал-макет 122-го тома "Lecture Notes in Computer Science", Т. 2.
Папка 225 (555 л., 581 стр.)
Ургенчский симпозиум. Материалы оргкомитета.
Папка 226 (136 л., 172 стр.)
Испытание системы "Этап-1" в Москве; поездки Москва-Минск (январь, 1982 г.) и Москва-Таллин (март, 1982 г.).
Папка 227 (348 л., 348 стр.)
Аспиранты и соискатели. 1968-1981 гг.
Папка 228 (656 л., 656 стр.)
Материалы Временной научно-технической комиссии ГКНТ СССР по Алголу 68 и международного обмена информацией по этому языку.
Папка 229 (246 л., 246 стр.)
IPL, 1979-1981 гг.
Папка 230 (373 л., 374 стр.)
Отзывы и характеристики. 1978-1984 гг.
Папка 231 (392 л., 414 стр.)
XII-81 Москва ОСОМ, ОСАН. Выборы и дела.
Папка 232 (296 л., 314 стр.)
Ургенчский симпозиум. Подготовка англоязычных трудов. Переписка.
Папка 233 (355 л., 355 стр.)
Статья и студенческий проект "Трансформационная машина: тема и вариации". Статья "Вычислимость в произвольных областях и базисах".
Папка 234 (172 л., 175 стр.)
1982 год. Публикации. Дела.
Папка 235 (265 л., 266 стр.)
Поездки 1982 г.
Папка 236 (305 л., 306 стр.)
Фабрика трансляторов (совместно с Г.Д. Чининым).
Папка 237 (147 л., 147 стр.)
ЭЛЬБРУС ВЦКП-ЭП - ИТТР - ТЗ. 1976-1977 гг.
Папка 238 (99 л., 99 стр.)
А.А. Ляпунов. Избранные труды в 3-х томах. 1973-1977 гг.
Папка 239 (366 л., 367 стр.)
Конференция молодых ученых по системному программированию. Новосибирск; 11-13.10.1977. /Заявки, тезисы докладов, акты экспертизы, авторские справки, карточки участников./
Папка 240 (530 л., 530 стр.)
ТК 2, заседания 17-23 (1974-1978 гг.).
Папка 241 (323 л., 324 стр.)
Работы 1977 г. "Об одном теоретическом принципе системного программирования", "О сущности трансляции".
Папка 242 (328 л., 337 стр.)
Разное (черновики статей, стенограмма вопросов и ответов, выступления на митинге и проч.). Поездка в Болгарию (июнь, 1979 г.) и отчет.
Папка 243 (574 л., 575 стр.)
ТК2, заседания 24, 25 (1979 г.); РГ2.2, заседание в Киото (1978 г.); списки для отбора рецензентов для ИФИП-80 (1972-1979 гг.); разные материалы ТК2 (1976-1988 гг.).
Папка 244 (235 л., 245 стр.)
Различные проблемы школьной информатики. Письма.
Папка 245 (288 л., 292 стр.)
Командировка в США (1978 г.)
Папка 246 (398 л., 398 стр.)
Подготовка и проведение Рабочей конференции ИФИП "Машинно-ориентированные языки программирования высокого уровня (Построение качественного программного обеспечения)", Новосибирск, 24-27 мая 1977 г.
Папка 247 (240 л., 240 стр.)
Всесоюзный семинар "Перспективы развития системного и теоретического программирования" (Новосибирск, март 1978 г.); Совет по сетям (Рига, апрель 1978 г.).
Папка 248 (126 л., 128 стр.)
Командировка в Чехословакию (1977 г.)
Папка 249 (170 л., 176 стр.)
ВЭЛК. Статья "Системы программирования для мини- и микро-ЭВМ". Конгресс 21-26.06.1977.
Папка 250 (228 л., 228 стр.)
Доклад "Метод описания языков" (с Грушецким).
Папка 251 (440 л., 445 стр.)
Командировка в Канаду (1977 г., Сент-Эндрюс, Торонто). ИФИП-77: подготовка, проведение, отчет. 1-я конференция "Формальное описание концепций программирования".
Папка 252 (589 л., 608 стр.)
Работы 1978 г. Дневник (1978 г.)
Папка 253 (148 л., 148 стр.)
IPL. (1976-1979 гг.).
Папка 254 (216 л., 218 стр.)
Типовой учебный кабинет для школ и других учебных заведений.
Папка 255 (298 л., 351 стр.)
Материалы по созданию учебника "Основы информатики и вычислительной техники" для 9-го класса.
Папка 256 (190 л., 237 стр.)
Материалы по языку Рапира.
Папка 257 (27 л., 29 стр.)
Описание языка Рапира.
Папка 258 (311 л., 319 стр.)
Вариант учебника "Основы информатики и вычислительной техники", представленного на конкурс неизвестным автором или группой авторов.
Папка 259 (1 л., 1 стр.)
Вариант учебника "Основы информатики и вычислительной техники", представленный на конкурс неизвестным автором или группой авторов.
Папка 260 (482 л., 485 стр.)
КоСМО: становление; 1-е, 2-е, 3-е и 4-е заседания.
Папка 261 (2 л., 2 стр.)
Комплект частотных словарей по лексике курса "Основы информатики и вычислительной техники". Материалы для обсуждения.
Папка 262 (1 л., 1 стр.)
Вариант учебника "Основы информатики и вычислительной техники", представленный на конкурс неизвестным автором или группой авторов.
Папка 263 (417 л., 519 стр.)
КоСМО: 5-е, 6-е и 7-е заседания.
Папка 264 (369 л., 376 стр.)
КоСМО: 8-е и 9-е заседания.
Папка 265 (397 л., 398 стр.)
КоСМО: 10-е и 11-е заседания.
Папка 266 (320 л., 321 стр.)
Последние дела.
Папка 267 (313 л., 316 стр.)
Информатика.
Папка 268 (378 л., 380 стр.)
Информатика.
Папка 269 (312 л., 313 стр.)
КоСМО: 12-е, 13-е, 14-е и 15-е заседания.
Папка 270 (181 л., 266 стр.)
КоСМО: 8-е заседание; ККВТ.
Папка 271 (72 л., 93 стр.)
ПЭВМ.
Папка 272 (162 л., 160 стр.)
Москва, декабрь 1987 г. - февраль 1988 г.
Папка 273 (39 л., 36 стр.)
Пресса.
Папка 274 (387 л., 395 стр.)
Переписка группы школьной информатики ВЦ СО АН СССР.
Папка 275 (68 л., 73 стр.)
Язык "Рапира". Система "Школьница".
Папка 276 (234 л., 321 стр.)
Перспективы школьной информатики.
Папка 277 (217 л., 289 стр.)
Перспективы школьной информатики.
Папка 278 (135 л., 138 стр.)
Создание кабинетов информатики и вычислительной техники (ИВТ) в школах Советского района г. Новосибирска.
Папка 279 (292 л., 372 стр.)
Концепция информатизации народного образования.
Папка 280 (97 л., 419 стр.)
Концепция информатизации народного образования.
Папка 281 (353 л., 353 стр.)
Концепция информатизации народного образования.
Папка 282 (392 л., 446 стр.)
Общественная жизнь в СССР. 1972-1982 гг.
Папка 283 (236 л., 237 стр.)
Поездка в США (август - сентябрь 1973 г.)
Папка 284 (125 л., 125 стр.)
Эскизный проект системы БЕТА, Т. I - отчетный документ по договору с НИЦЭВТ.
Папка 285 (126 л., 126 стр.)
Эскизный проект системы БЕТА", Т. II - отчетный документ по договору с НИЦЭВТ.
Папка 286 (192 л., 192 стр.)
Эскизный проект системы БЕТА, Т. III - отчетный документ по договору с НИЦЭВТ.
Папка 287 (134 л., 134 стр.)
Эскизный проект системы БЕТА, Т. IV - отчетный документ по договору с НИЦЭВТ.
Папка 288 (55 л., 55 стр.)
Эскизный проект системы БЕТА, Т. V - отчетный документ по договору с НИЦЭВТ.
Папка 289 (86 л., 86 стр.)
Эскизный проект системы БЕТА, Т. VI - отчетный документ по договору с НИЦЭВТ.
Папка 290 (92 л., 92 стр.)
Эскизный проект системы БЕТА, Т. VII - отчетный документ по договору с НИЦЭВТ.
Папка 291 (120 л., 120 стр.)
Эскизный проект системы БЕТА, Т. VIII - отчетный документ по договору с НИЦЭВТ.
Папка 292 (283 л., 315 стр.)
БЕТА: рукописные материалы к эскизному проекту системы БЕТА и проч.
Папка 293 (5 л., 240 стр.)
БЕТА: Расшифровка семинара от 10.09.1970; отчеты Л.И. Полонской; В.В. Грушецкого; В.Г. Бекасова; М.И. Шнайдера.
Папка 294 (337 л., 336 стр.)
IPL.
Папка 295 (249 л., 249 стр.)
ПЭВМ.
Папка 296 (352 л., 412 стр.)
Переписка и другие материалы.
Папка 297 (149 л., 149 стр.)
Документы, связанные с жизнью и смертью Г.А. Кожухина; методическое пособие Г.А. Звенигородского; статья А.П. Ершова и М.Р. Шура-Буры; "Э.В. Дейкстра" (биобиблиографический материал).
Папка 298 (230 л., 230 стр.)
Прогнозы и постановки (АЕ). 1983-1985 гг.
Папка 299 (191 л., 191 стр.)
Инструкции для авторов, переводчиков, рецензентов. Правила корректуры.
Папка 300 (185 л., 184 стр.)
5-е поколение ЭВМ.
Папка 301 (384 л., 384 стр.)
ЭЛЬБРУС-1. /Начало работ в КБСП; "Основные проблемы программирования для параллельных ВС"; "МО 4-го поколения"./
Папка 302 (261 л., 261 стр.)
TCS.
Папка 303 (103 л., 103 стр.)
Общественная жизнь в СССР.
Папка 304 (70 л., 71 стр.)
Деловые бумаги ВЦ СО АН СССР.
Папка 306 (77 л., 77 стр.)
Слайды к различным выступлениям А.П. Ершова.
Папка 307 (201 л., 204 стр.)
Переписка. 1983-1988 гг.
Папка 308 (197 л., 199 стр.)
РУБИН: документы.
Папка 309 (289 л., 289 стр.)
РУБИН - техническое задание и основания к разработке.
Папка 310 (250 л., 250 стр.)
ACM, BCS.
Папка 311 (296 л., 298 стр.)
МРАМОР: отзывы, рецензии, демонстрации; о контракте с заводом "МЕРА-Блоне" (ПНР) о производстве и поставке.
Папка 312 (105 л., 105 стр.)
Публикации по проектам РУБИН и МРАМОР в основном в сборниках научных трудов; газетные вырезки; журнал "ЭКО" и проч.
Папка 313 (90 л., 90 стр.)
МРАМОР: "Около-мраморная" философия в трех статьях.
Папка 314 (114 л., 114 стр.)
ЦИВТ (Центр информатики и вычислительной техники) СО АН СССР.
Папка 315 (85 л., 85 стр.)
Современная математика.
Папка 316 (199 л., 199 стр.)
ИФИП.
Папка 317 (621 л., 642 стр.)
Входящая корреспонденция (1977-1985 гг.).
Папка 318 (203 л., 203 стр.)
Хоар и Дейкстра в СССР. Август 1976 г.
Папка 319 (213 л., 213 стр.)
Аксиоматика распределения памяти. 1972 г.
Папка 320 (481 л., 481 стр.)
Аспиранты.
Папка 321 (78 л., 78 стр.)
Чегет (Эфрос).
Папка 322 (258 л., 258 стр.)
Foreign Affairs (склад).
Папка 323 (402 л., 402 стр.)
Естественный язык.
Папка 324 (269 л., 269 стр.)
Программы кандидатских экзаменов.
Папка 325 (231 л., 231 стр.)
ГКНТ и другие дела в Москве
Папка 326 (52 л., 52 стр.)
Уведомления о советах НФ ИТМиВТ
Папка 327 (278 л., 278 стр.)
Повестки Ученых советов НГУ, Института математики и Института автоматики и электрометрии СО АН СССР; протоколы заседаний Сибирского математического общества.
Папка 328 (257 л., 257 стр.)
Официальные письма от других организаций, переданные через секретариат.
Папка 329 (217 л., 221 стр.)
Научная командировка в США для участия в Объединенной вычислительной конференции (АФИПС) и посещения ряда научных организаций (14-29.05.1972).
Папка 330 (261 л., 261 стр.)
Университетские программы.
Папка 331 (266 л., 267 стр.)
ВКП-2. Заявки.
Папка 332 (71 л., 71 стр.)
Италия. 1987 г.
Папка 333 (320 л., 320 стр.)
Зарубежные поездки (Швеция, Швейцария, Франция).
Папка 334 (211 л., 244 стр.)
Венгрия. Материалы Шестого международного конгресса по математическому образованию.
Папка 335 (381 л., 384 стр.)
Международный семинар по смешанным вычислениям (15-29.10.1987), Дания.
Папка 336 (503 л., 503 стр.)
Разработка прогнозов по важнейшим направлениям науки. ОИВТА (академик Е.П. Велихов).
Папка 337 (46 л., 163 стр.)
Венгрия. Материалы Шестого международного конгресса по математическому образованию.
Папка 338 (397 л., 398 стр.)
Международный коллоквиум по частичным и смешанным вычислениям.
Папка 339 (270 л., 270 стр.)
Тезисы докладов всесоюзной научной конференции "Проблемы совершенствования, синтеза, тестовой верификации и отладки программ". (Рига, 1986 г.)
Папка 340 (259 л., 259 стр.)
Тезисы докладов всесоюзной научной конференции "Проблемы совершенствования синтеза, тестовой верификации и отладки программ" (Рига, 1986 г.).
Папка 341 (451 л., 452 стр.)
Работа Программного комитета Конгресса ИФИП-68 (Эдинбург, Шотландия, 05-10.08.1968).
Папка 342 (300 л., 300 стр.)
Работы 1969 г. (доклад о состоянии работ по ВСКП, экспертиза ОАСУ, ГАМС, учебный план для прикладной математики и т.д.)
Папка 343 (57 л., 57 стр.)
Голландия (РГ2.1) и Эдинбург (ИФИП-68).
Папка 344 (218 л., 218 стр.)
Письма из канцелярии (1958-1968 гг.).
Папка 345 (116 л., 116 стр.)
Конференция по системам разделения времени (1969 г.).
Папка 346 (340 л., 343 стр.)
Проект АИСТ - содержание и организация работ.
Папка 347 (384 л., 384 стр.)
Работы 1968 г. Доклад о математическом обеспечении ЭВМ.
Папка 348 (356 л., 356 стр.)
Редактирование перевода Алгол-68. Июль-сентябрь 1969 г.
Папка 349 (330 л., 330 стр.)
Ассоциация М-20 и другие общественные организации в СССР.
Папка 350 (141 л., 141 стр.)
Работы 1970 г.
Папка 351 (246 л., 263 стр.)
ВКП-2. Материалы оргкомитета. Оповещения. Переписка по поводу приглашения иностранных ученых.
Папка 352 (284 л., 284 стр.)
Разные тексты по ПМК.
Папка 353 (339 л., 339 стр.)
Директивы и письма "свыше".
Папка 354 (108 л., 108 стр.)
Поездка в ФРГ. 20-25.07.1970. Материалы и отчет.
Папка 355 (294 л., 294 стр.)
Программирование за рубежом (на ВКП-2).
Папка 356 (298 л., 307 стр.)
Международный симпозиум по теории программирования (официальные бумаги; отчеты; заявки на участие).
Папка 357 (80 л., 80 стр.)
Цвелодубово. Март 1972 г.
Папка 358 (194 л., 194 стр.)
ДОР-бюллетени 1981-1986 гг.
Папка 359 (399 л., 399 стр.)
Научно-техническая комиссия по языкам и системам программирования ЭВМ при ГКНТ СССР (1982-1984 гг.).
Папка 360 (208 л., 208 стр.)
Научно-техническая комиссия по языкам и системам программирования ЭВМ при ГКНТ СССР (1985-1986 гг.).
Папка 361 (411 л., 411 стр.)
Документы, связанные с деятельностью ККВТ АН СССР.
Папка 363 (309 л., 309 стр.)
Разное, 1972 г.
Папка 364 (297 л., 297 стр.)
Преподавание в НГУ на кафедре теоретической кибернетики.
Папка 365 (277 л., 277 стр.)
Производственные характеристики сотрудников; отзывы о научных работах, авторефератах и диссертациях, дипломных работах и проч.
Папка 366 (51 л., 51 стр.)
Учебные планы.
Папка 367 (63 л., 63 стр.)
ВКП-2. Записки, поступившие в президиум конференции.
Папка 368 (346 л., 346 стр.)
Документы, связанные с деятельностью АН СССР.
Папка 369 (329 л., 329 стр.)
Программы курсов по программированию. Рукописные записи, сделанные А.П. Ершовым в процессе подготовки к лекциям и семинарским занятиям по курсу программирования.
Папка 370 (124 л., 124 стр.)
ИФИП/РГ2.1. Оригиналы материалов, представленных для копирования.
Папка 371 (701 л., 701 стр.)
ВКП-2. Анкеты участников.
Папка 372 (433 л., 433 стр.)
СТАРТ.
Папка 373 (221 л., 221 стр.)
Разные корреспонденты из-за рубежа.
Папка 374 (273 л., 273 стр.)
Документы, связанные с деятельностью АН СССР.
Папка 375 (280 л., 280 стр.)
Повестки и приглашения (1985-1988 гг.).
Папка 376 (70 л., 70 стр.)
СО АН СССР.
Папка 377 (142 л., 142 стр.)
ИФИП/РГ2.1, 1983-1986 гг.
Папка 378 (50 л., 50 стр.)
документы ГКНТ - "Положение о государственном фонде алгоритмов и программ" (1980 г. и 1985 г.).
Папка 379 (87 л., 91 стр.)
Фотографии.
Папка 380 (201 л., 201 стр.)
Папка 381 (197 л., 197 стр.)
ANNUAL REVIEW (1966-1972 гг.).
Папка 382 (135 л., 155 стр.)
ВКП-2. Списки организаций и отдельных участников. Реестры рассылки.
Папка 383 (322 л., 322 стр.)
Переписка
Папка 384 (479 л., 479 стр.)
Переписка (1974-1979 гг.).
Папка 385 (298 л., 298 стр.)
Статьи, рефераты, присланные А.П. Ершову на отзыв или для ознакомления.
Папка 386 (815 л., 815 стр.)
ИФИП/ТК2. Материалы за 1983-1988 гг.
Папка 387 (124 л., 124 стр.)
Эскизный проект "Операционной системы" вычислительного комплекса "Эльбрус".
Папка 388 (163 л., 163 стр.)
Алгол 68 (главы 0-7).
Папка 389 (148 л., 148 стр.)
А.П. Ершов /фотографии и другие документы/.
Папка 390 (271 л., 271 стр.)
Документы, связанные с текущей производственной деятельностью А.П. Ершова; много входящих на его имя писем.
Папка 391 (198 л., 198 стр.)
ТАУ и АЛЬФА-6 (1968-1974 гг.).
Папка 392 (174 л., 173 стр.)
ФРГ - июль-август 1975 г. Поездка и отчет.
Папка 393 (230 л., 231 стр.)
Международная конференция по надежному программному обеспечению (22-24.04.1975); Лос-Анджелес, США.
Папка 394 (103 л., 105 стр.)
"Альфа-прокрутка". Инструкции, таблицы, тесты.
Папка 395 (79 л., 75 стр.)
Инструкции.
Папка 396 (523 л., 525 стр.)
Входящая зарубежная корреспонденция.
Папка 398 (213 л., 214 стр.)
Дела отдела программирования ВЦ СО АН СССР.
Папка 399 (463 л., 463 стр.)
ВКП-1 - Первая всесоюзная конференция по программированию; Киев; 12-15.11.1968.
Папка 400 (203 л., 219 стр.)
ВКП-2. Инструкция по оформлению докладов. Тексты докладов. Авторские справки, акты экспертизы.
Папка 401 (126 л., 126 стр.)
Общее собрание АН СССР (1974 г.).
Папка 402 (116 л., 140 стр.)
"Искусственный интеллект". Международная объединенная конференция по искусственному интеллекту (МОКИИ-4), Тбилиси, 1975 г.
Папка 403 (528 л., 528 стр.)
"Становление программирования в СССР", май - ноябрь 1976 г.
Папка 404 (337 л., 359 стр.)
Научная командировка в Англию (1976 г.).
Папка 405 (257 л., 257 стр.)
Отчеты ВЦ СО АН СССР за пятилетку (1971-1975 гг.).
Папка 406 (185 л., 185 стр.)
Материалы конференции по надежному программному обеспечению.
Папка 407 (241 л., 249 стр.)
Международная объединенная конференция по искусственному интеллекту (1975 г.) в Тбилиси; международная конференция по надежности программного обеспечения (1974 г.) в Лос-Анджелесе.
Папка 408 (46 л., 46 стр.)
Проблемы и задачи.
Папка 409 (445 л., 445 стр.)
Всесоюзный симпозиум "Методы реализации алгоритмических языков"; Новосибирск, сентябрь 1975 г.
Папка 410 (269 л., 269 стр.)
Научно-техническое сотрудничество.
Папка 411 (27 л., 27 стр.)
Документы для представления работы на соискание Госпремии СССР за 1973 г. в области науки.
Папка 412 (98 л., 98 стр.)
БЕТА: статьи А.П. Ершова, А.А. Берса и А.Ф. Рара для Рабочей конференции ИФИП; статья А.П. Ершова "Универсальный программирующий процессор".
Папка 413 (143 л., 145 стр.)
БЕТА: план-проспект ТЗ; несколько глав ТЗ; документы по оформлению нового договора с НИЦЭВТ.
Папка 414 (291 л., 292 стр.)
БЕТА: статьи и рабочие материалы по теме /тексты рукописные и машинописные/.
Папка 415 (272 л., 272 стр.)
БЕТА: материалы к подписанию нового типового договора с НИЦЭВТ по теме "Реализация макета универсального программирующего процессора".
Папка 416 (381 л., 381 стр.)
Введение в теоретическое прграммирование /черновики/.
Папка 417 (354 л., 354 стр.)
БЕТА: статьи по теме /тексты рукописные и машинописные/.
Папка 418 (482 л., 486 стр.)
БЕТА: материалы, связанные с циклом лекций, прочитанных А.П. Ершовым на международной летней школе по языковым иерархиям и сопряжениям (ФРГ, Мюнхен, 23.07-02.08.1975), а также доклад на международной конференции в Польше (Варшава, 22-27.03.1976).
Папка 419 (128 л., 128 стр.)
Отзывы и характеристики (1977-1988 гг.).
Папка 420 (418 л., 418 стр.)
Лаборатория.
Папка 421 (102 л., 102 стр.)
Статья "Математическое обеспечение 4-го поколения" /рукопись и машинопись/.
Папка 422 (170 л., 170 стр.)
Командировки в Тбилиси (симпозиум по кибернетике), Москву (ВЦКП), Ташкент (школа по ОС), Кишинев (симпозиум СТП), 1974 г.
Папка 423 (139 л., 139 стр.)
Поездка в ГДР и отчет.
Папка 424 (375 л., 375 стр.)
Документы Президиумов АН СССР и СО АН СССР; ГКНТ; Минвуза СССР.
Папка 425 (285 л., 285 стр.)
"Странные письма".
Папка 426 (121 л., 121 стр.)
Италия. Поездка и отчет. Июнь 1974 г.
Папка 427 (407 л., 407 стр.)
Поездка в Швецию. Конгресс ИФИП. 01-26.08.1974.
Папка 428 (77 л., 78 стр.)
БЕТА: Документы, связанные с "Разработкой транслятора с Алгола-68 для СМО ЕС ЭВМ" (НИС НГУ для НИЦЭВТ): ТЗ, аван-проект, деловая переписка.
Папка 429 (193 л., 251 стр.)
БЕТА: Проспект аван-проекта, деловая переписка, внешние и внутренние документы.
Папка 430 (258 л., 258 стр.)
"Программирование макета универсального программирующего процессора" - отчетный документ по договору с НИЦЭВТ; тома II и III.
Папка 431 (36 л., 36 стр.)
Доказательное программирование.
Папка 432 (197 л., 197 стр.)
Разные работы, 1974 г.
Папка 433 (137 л., 137 стр.)
Международный симпозиум по теоретическому программированию /заявки на участие; заявки на получение Трудов/.
Папка 434 (262 л., 262 стр.)
"Теория схем программ". Доклад на Конгрессе ИФИП-71 и статья в журнале "Проблемы кибернетики".
Папка 435 (167 л., 167 стр.)
Рабочая конференция ИФИП по Алголу-68.
Папка 436 (211 л., 211 стр.)
Академия наук СССР.
Папка 437 (129 л., 133 стр.)
Конгресс ИФИП в Любляне, заседания РГ2.1 в Манчестере и Новосибирске.
Папка 438 (210 л., 210 стр.)
Доклад "Развитие вычислительного дела в СССР" на Дибольдовской конференции.
Папка 439 (187 л., 187 стр.)
Примеры и задачи по программированию. Курсы программирования.
Папка 440 (317 л., 317 стр.)
Академия наук СССР; Сибирское отделение АН СССР.
Папка 441 (289 л., 289 стр.)
Повестки на заседания Ученого совета ВЦ СО АН СССР.
Папка 442 (423 л., 423 стр.)
Текущие дела отдела информатики ВЦ СО АН СССР.
Папка 443 (156 л., 156 стр.)
Сибирское отделение АН СССР.
Папка 444 (289 л., 289 стр.)
Защиты.
Папка 445 (344 л., 342 стр.)
Документы Общих собраний и Президиума Сибирского отделения АН СССР.
Папка 446 (229 л., 229 стр.)
В основном документы Президиума АН СССР.
Папка 447 (361 л., 361 стр.)
Литературная работа.
Папка 448 (316 л., 322 стр.)
"Личное дело А.П. Ершова". Биографические справки, листы по учету кадров, характеристики, списки научных трудов.
Папка 449 (477 л., 477 стр.)
ВТП - предпосылки, рисунки, побочный текст. (Введение в теоретическое программирование).
Папка 450 (470 л., 470 стр.)
"Введение в теорию программирования" - издательский экземпляр.
Папка 451 (212 л., 212 стр.)
Литературная работа.
Папка 452 (104 л., 104 стр.)
Отчёт "Об автоматизации программирования в ОПМ МИ АН СССР".
Папка 453 (437 л., 437 стр.)
Выборы в АН СССР (1987 г.).
Папка 454 (409 л., 409 стр.)
Школьная информатика.
Папка 455 (264 л., 264 стр.)
ОИВТА.
Папка 456 (172 л., 172 стр.)
Журналы "Программирование" и "Кибернетика".
Папка 457 (7 л., 77 стр.)
Болгария. Материалы Второй международной конференции "Дети в век информации".
Папка 458 (273 л., 312 стр.)
Болгария. Материалы Второй международной конференции "Дети в век информации".
Папка 459 (294 л., 336 стр.)
Конкурс на учебник "Основы информатики и вычислительной техники".
Папка 460 (116 л., 116 стр.)
Разное: запись интервью с М.А. Лаврентьевым, А.Г. Аганбегяном, идеи "про запас", протокол заседания общества "Память" и др.
Папка 461 (186 л., 213 стр.)
Информационные материалы по школьной информатике из отечественных и зарубежных источников.
Папка 462 (70 л., 78 стр.)
Информационые материалы по школьной информатике из отечественных и зарубежных источников.
Папка 464 (136 л., 136 стр.)
Дейкстра.
Папка 465 (297 л., 308 стр.)
Поездка в США группы школьников из Новосибирского Академгородка. Подготовка, формирование делегации.
Папка 466 (559 л., 559 стр.)
Словарь ФиС, переписка.
Папка 467 (177 л., 177 стр.)
НИИ "Звезда".
Папка 468 (254 л., 254 стр.)
ЛНПО "Красная заря".
Папка 469 (445 л., 445 стр.)
ЛНПО "Красная заря".
Папка 470 (146 л., 146 стр.)
Словарь НИИ ПРЯНШ.
Папка 471 (226 л., 225 стр.)
Научный совет по комплексной проблеме "Кибернетика".
Папка 472 (530 л., 530 стр.)
Документы по производству программного обеспечения.
Папка 473 (457 л., 457 стр.)
Предложения и практика ВУЗов СССР по преподаванию программирования, вычислительной техники и информатики.
Папка 474 (280 л., 280 стр.)
Технология программирования, 1986-1987 гг.
Папка 475 (33 л., 53 стр.)
Материалы поездки в США группы школьников из Новосибирского Академгородка.
Папка 476 (158 л., 219 стр.)
Отчет о поездке в США группы школьников из Новосибирского Академгородка. Отзывы американских СМИ.
Папка 477 (244 л., 263 стр.)
Материалы, связанные с поездкой в США группы школьников из Новосибирского Академгородка.
Папка 478 (341 л., 342 стр.)
Материалы по подготовке и проведению телевизионных уроков по информатике.
Папка 479 (196 л., 196 стр.)
Журнал "Микропроцессорные средства и системы".
Папка 480 (270 л., 270 стр.)
Редакционная работа, переписка, 1984 г.
Папка 481 (165 л., 174 стр.)
Летние школы юных программистов (1986-1988 гг.).
Папка 482 (291 л., 291 стр.)
Редакционная работа. Статьи. Январь - июнь 1986 г.
Папка 483 (379 л., 379 стр.)
Редакционная работа, статьи 1987 г.
Папка 484 (292 л., 292 стр.)
ВНТК "Школа-1".
Папка 485 (264 л., 264 стр.)
Поездки в Кемерово и Москву в 1987-1988 гг.
Папка 486 (53 л., 53 стр.)
Редакционная работа (1985 г.). Статьи.
Папка 487 (53 л., 53 стр.)
Киев, Рига, Таллин.
Папка 488 (133 л., 133 стр.)
Колонка редактора МП (1985-1988 гг.).
Папка 489 (203 л., 202 стр.)
СТАРТ (заключительный этап).
Папка 490 (71 л., 71 стр.)
Встречи, выступления, ответы на вопросы.
Папка 491 (68 л., 68 стр.)
Материалы по организации обучения школьников программированию.
Папка 492 (5 л., 5 стр.)
Кишинев-89.
Папка 493 (96 л., 96 стр.)
Переписка с зарубежными корреспондентами.
Папка 494 (82 л., 82 стр.)
США (1986-1988 гг.).
Папка 495 (53 л., 53 стр.)
Н. Вирт.
Папка 496 (319 л., 319 стр.)
Выборы в АН СССР.
Папка 497 (149 л., 149 стр.)
Москва, Харьков, Кисловодск, Новосибирск.
Папка 498 (301 л., 306 стр.)
Редакционная работа. Статьи.
Папка 499 (472 л., 472 стр.)
"АИСТ".
Папка 501 (595 л., 595 стр.)
Редакционно-издательская деятельность.
Папка 502 (439 л., 439 стр.)
Разное. Статьи.
Папка 503 (218 л., 218 стр.)
НСК АН СССР, секция РИСО АН СССР.
Папка 506 (194 л., 194 стр.)
Разное.
Папка 507 (140 л., 140 стр.)
Разное.
Папка 508 (179 л., 179 стр.)
Школьная информатика.
Папка 509 (246 л., 246 стр.)
Деятельность в документах АН СССР и Сибирского отделения АН СССР.
Папка 510 (246 л., 246 стр.)
Разное.
Папка 511 (100 л., 100 стр.)
Переписка разных лет.
Папка 512 (414 л., 414 стр.)
КПНТП - 2010.
Папка 513 (289 л., 289 стр.)
Документы, связанные, в основном, с деятельностью ГКНТ и ГКВТИ.
Папка 515 (200 л., 200 стр.)
Переписка.
Папка 516 (243 л., 239 стр.)
Зарубежная переписка
Папка 518 (222 л., 222 стр.)
Разное.
Папка 519 (684 л., 684 стр.)
Иностранные статьи.
Папка 520 (79 л., 79 стр.)
Детский фонд.
Папка 521 (458 л., 458 стр.)
МЭС/ШИ (Энциклопедический словарь по школьной информатике).
Папка 522 (203 л., 203 стр.)
Работа "Система программирования Альфа-6".
Папка 523 (392 л., 392 стр.)
Документы, связанные с деятельностью ВЦ СО АН СССР и участием в ней А.П. Ершова.
Папка 524 (430 л., 430 стр.)
Япония. 4-29 мая 1973 г.
Папка 525 (340 л., 340 стр.)
Теория программирования и вычислительные системы. Май-август 1971 г.
Папка 527 (224 л., 224 стр.)
МЭС - Математический энциклопедический словарь. Цикл статей по программированию.
Папка 528 (199 л., 198 стр.)
Информация по Алголу 68.
Папка 529 (164 л., 164 стр.)
Годичное собрание АН СССР, 1973 г.
Папка 530 (557 л., 556 стр.)
ИФИП/ТК2. Заседания 1-16 (1963-1973 гг.).
Папка 531 (329 л., 329 стр.)
Разное, 1976 г.
Папка 532 (348 л., 348 стр.)
Работы 1973 г.
Папка 533 (367 л., 367 стр.)
Общественная жизнь.
Папка 534 (300 л., 300 стр.)
Выборы в Академию наук СССР 23-24 декабря 1976 года.
Папка 535 (190 л., 190 стр.)
Франция, 1975 г. Подготовка, пребывание.
Папка 537 (161 л., 161 стр.)
Повестки заседаний Учёных советов. Отзывы на диссертации.
Папка 538 (239 л., 239 стр.)
Стандарт языка АДА.
Папка 539 (27 л., 27 стр.)
Доклад "Предварительные соображения о Лексиконе программирования".
Папка 540 (83 л., 201 стр.)
НФ ИТМ и ВТ. Перспектива на 1976-1977 гг.
Папка 541 (488 л., 462 стр.)
ИФИП/РГ2.1. Заседания 1-22 (1962-1976 гг.).
Папка 542 (462 л., 462 стр.)
Дела ВЦ СО АН СССР.
Папка 543 (258 л., 258 стр.)
АН СССР (1970-1977 гг.).
Папка 544 (253 л., 253 стр.)
Абстрактные вычисления. Бумаги и работы.
Папка 546 (136 л., 136 стр.)
Информация к повесткам годичных Общих собраний АН СССР (1974-1975 гг.).
Папка 547 (53 л., 53 стр.)
Три урока по Алголу.
Папка 548 (103 л., 103 стр.)
"Интегральный подход к программированию".
Папка 549 (216 л., 216 стр.)
Семинар на Капри.
Папка 550 (110 л., 110 стр.)
Разное.
Папка 551 (290 л., 333 стр.)
Летняя школа юных программистов.
Папка 552 (41 л., 45 стр.)
ВКП-2. Фотографии участников.
Папка 553 (11 л., 494 стр.)
ВКП-2. Труды конференции /хранятся в библиотеке ИСИ СО РАН/.
Папка 554 (89 л., 110 стр.)
Научный совет по проблемам образования при Президиуме СО АН СССР.
Папка 555 (237 л., 211 стр.)
Советско-американское сотрудничество в области применения вычислительной техники в образовании /проект Велихова-Гамбурга, контакты с П. Лайкосом, встречи с американскими учеными/.
Папка 556 (203 л., 223 стр.)
"Искусственный интеллект". Статья А.П. Ершова и Г.Е. Поздняка "Методологические и вычислительные аспекты построения роботов с искусственным интеллектом". Международное совещание по искусственному интеллекту в Репино. Дискуссия на тему "Искусственный интеллект" в ДК "Академия" Новосибирского Академгородка.
Папка 557 (357 л., 357 стр.)
Разное, 1982-1988 гг.
Папка 558 (185 л., 185 стр.)
Учёный совет НГУ. Текущие дела ВЦ СО АН СССР.
Папка 559 (364 л., 364 стр.)
Разное
Папка 560 (155 л., 155 стр.)
Разное.
Папка 561 (204 л., 204 стр.)
Разное.
Папка 562 (244 л., 244 стр.)
Приглашения на конференции, симпозиумы, юбилеи, праздники.
Папка 563 (167 л., 167 стр.)
Переписка группы школьной информатики.
Папка 564 (440 л., 440 стр.)
Проект БЕТА.
Папка 565 (656 л., 656 стр.)
Проект БЕТА.
Папка 566 (43 л., 43 стр.)
Документы Государственного архива Новосибирской области.
Папка 567 (224 л., 224 стр.)
В основном документы, связанные с Седьмой всесозной школой юных программистов, состоявшейся 25.07-10.08.1982 в Новосибирском Академгородке. Но есть немного документов по 8-й, 10-й и 12-й Школах.
Папка 568 (258 л., 258 стр.)
Материалы Десятой ВЛШЮП, проходившей в молодежном лагере "Сибиряк" под Новосибирском с 15 по 24 августа 1985 года.
Папка 569 (279 л., 279 стр.)
Документы, связанные с проведением Девятой ВЛШЮП, в основном, регистрационные листы участников.
Папка 570 (257 л., 257 стр.)
Документы, касающиеся Региональной летней школы юных программистов, проходившей в Новосибирск с 3 по 16 августа 1987 года.
Папка 571 (249 л., 249 стр.)
Региональная летняя школа юных программистов, проведенная в Новосибирске на базе туристического центра "Сибиряк". Здесь находятся несколько писем, отчет, но в основном - регистрационные листы участников Школы.
Папка 572 (98 л., 98 стр.)
В папке, в основном, регистрационные листы участников Третьей всесоюзной летней школы юных программистов, проходившей с 24 июня по 7 июля 1978 года в Новосибирске, а также несколько приказов и информационное письмо.
Папка 573 (171 л., 171 стр.)
В папке находятся, в основном, регистрационные листы участников Восьмой всесоюзной летней школы юных программистов, которая проходила в Новосибирске с 14 по 28 августа 1983 года.
Папка 574 (251 л., 251 стр.)
Информация о Школах юных программистов разных лет.
Папка 575 (331 л., 331 стр.)
Документы, относящиеся к пакету прикладных программ автоматизации школьного учебного процесса (ППП "Школьница"), 1983-1987 гг.
Папка 576 (99 л., 99 стр.)
РЛШЮП (1989 г.).
Папка 577 (28 л., 28 стр.)
Конференция "Механизация процессов мышления", Англия, 1958 г.
Папка 600 (33 л., 33 стр.)
Создание ВНТК "СТАРТ".
Папка 601 (43 л., 43 стр.)
Пресса о "СТАРТе".
Папка 602 (181 л., 181 стр.)
ВНТК "СТАРТ".
Папка 603 (224 л., 224 стр.)
Материалы к годовым отчетам: основная деятельность, организационные вопросы, текущее финансирование и кредитование, административно-хозяйственная деятельность за 1990-1995 гг.
Папка 604 (312 л., 312 стр.)
Материалы Ученого совета ИСИ СО РАН (1990-1992 гг.).
Папка 605 (503 л., 502 стр.)
Материалы Ученого совета ИСИ СО РАН (1993-1995 гг.).
Папка 606 (341 л., 341 стр.)
Становление Института систем информатики; Институт в средствах массовой информации; конференции "Перспективы системной информатики"; фонд им. А.П. Ершова и др.
Папка 607 (78 л., 78 стр.)
ИСИ СО РАН. Профсоюзные билеты.
Папка 608 (158 л., 158 стр.)
Конференция PSI'91.
Папка 650 (28 л., 28 стр.)
Документы по проекту LPI-MLF, присланные М. Шварцманом.
Папка 651 (26 л., 26 стр.)
Статья М. Шварцмана "Повесть блудного сына проекта БЕТА".
Папка 700 (203 л., 200 стр.)
Переписка отечественная
Папка 701 (218 л., 217 стр.)
Переписка отечественная
Папка 702 (127 л., 125 стр.)
Переписка иностранная
Папка 703 (188 л., 188 стр.)
Отзывы
Папка 704 (194 л., 194 стр.)
Аналитические заметки по развитию ВТ
Папка 705 (218 л., 216 стр.)
Аналитические заметки по развитию ВТ
Папка 706 (53 л., 53 стр.)
Концепция информатизации общества 1989
Папка 707 (302 л., 302 стр.)
Школьная информатика
Папка 708 (197 л., 197 стр.)
Конференции
Папка 709 (285 л., 285 стр.)
Конференции
Папка 710 (202 л., 202 стр.)
Гражданская позиция
Папка 711 (77 л., 77 стр.)
Гражданская позиция
Папка 712 (220 л., 220 стр.)
Дела Академии наук
Папка 713 (279 л., 278 стр.)
Дела Академии наук
Папка 714 (161 л., 161 стр.)
К программе фундаментальных и прикладных исследований Академии наук в области ВТ
Папка 715 (216 л., 216 стр.)
Система СПОРА
Папка 716 (210 л., 210 стр.)
Статьи
Папка 717 (216 л., 216 стр.)
Статьи
Папка 718 (195 л., 195 стр.)
Статьи
Папка 719 (220 л., 220 стр.)
Статьи
Папка 720 (211 л., 211 стр.)
Статьи
Папка 721 (216 л., 216 стр.)
Статьи
Папка 722 (248 л., 248 стр.)
Статьи
Папка 723 (199 л., 199 стр.)
Статьи
Папка 724 (195 л., 195 стр.)
Статьи
Папка 725 (204 л., 204 стр.)
Статьи
Папка 726 (120 л., 120 стр.)
Статьи
Папка 727 (173 л., 79 стр.)
Статьи не Лаврова
Папка 728 (99 л., 99 стр.)
Памяти С.С. Лаврова (из архива Р.И. Подловченко)
Папка 729 (193 л., 193 стр.)
Переписка с Р.И. Подловченко (1993-2004)
Папка 730 (62 л., 62 стр.)
Документы С.С. Лаврова
Папка 731 (32 л., 32 стр.)
Фотографии С.С. Лаврова.
Папка 732 (226 л., 226 стр.)
Папка 733 (242 л., 242 стр.)

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