Перейти к основному содержанию
документы
об архиве
о проекте
А.П. Ершов
in English
Философско-методологический семинар
Архив
Сотрудничество с Минрадиопромом СССР
НФ ИТМ и ВТ АН СССР
Философско-методологический семинар
Сортировать по
Номер
Дата
Положение
Возр.
Убыв.
Письмо,
17.11.1986
Письмо-отзыв,
06.04.1987
Письмо в редакцию журнала "Программирование",
24.04.1987
Письмо в деканат ММФ ЛГУ,
12.05.1988
Письмо с приложением,
13.05.1988
Письмо,
14.10.1988
Письмо,
21.08.1989
Письмо,
01.08.1990
Письмо с приложением,
27.09.1990
Черновик статьи "Один подход к поиску вывода на втором этапе"
Схема системы СПОРА
Список работ по системе СПОРА,
06.01.1980
-
15.05.1980
"Принципы организации системы СПОРА"
Техническое задание на разработку системы СПОРА
Отчёт ,
02.04.1980
Список сообщений и их краткие рефераты
Карточки с записями по разработке системы СПОРА
Рабочая записка "О решении системы уравнений",
22.05.1985
Рабочая записка "О внешности и реализации первичных",
12.04.1985
Рабочая записка "Система СПОРА. Состояние на 1.11.82",
01.11.1982
Рабочая записка "Транслятор языка описания представлений",
25.01.1982
Рабочая записка "О ключах отношений" и "О реляционных связях",
02.12.1987
Аннотация
Рабочий материал,
01.01.1986
Замечания к предложению "Уравнения в Декарте",
27.02.1985
Документы, связанные с проблемами общения сотрудников лаборатории,
25.01.1985
Списки документов каждого сотрудника по сдаваемым подсистемам
Черновые записи С.С. Лаврова по системе СПОРА
Замечания по докладу Л.А. Корягина
Черновик письма,
10.11.1980
Черновик письма,
10.11.1980
Инструкция,
10.10.1980
Список организаций и людей
Письмо членам рабочей группы 2.1,
01.11.1967
Предлагаемые изменения в АЛГОЛ 67
Письмо,
02.12.1966
Письмо,
24.12.1966
Письмо,
07.01.1967
Письмо,
12.12.1968
"Некоторые замечания о проекте АЛГОЛ 67 (на англ. яз.)
Письма редактору АЛГОЛа 68,
29.11.1968
Письма Г.С. Цейтина А. ван Вейнгаардену,
02.06.1969
-
04.06.1969
Письмо,
01.07.1969
Письмо,
13.01.1963
Записка,
07.06.1969
Письма редактору АЛГОЛа 68,
17.05.1969
Письма редакторам АЛГОЛа 68,
22.04.1969
Письма М.Р. Левинсона,
08.07.1969
-
14.07.1969
Письмо Г.С. Цейтина М.Р. Левинсону,
29.07.1969
Рукопись статьи "О подготовке специалистов по прикладной математике"
Страницы
« первая
‹ предыдущая
…
885
886
887
888
889
890
891
892
893
следующая ›
последняя »
Папки
Темы