|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Сергей Борисович Покровский Служебная записка, 20.03.1973 Р-005 "Перечень работ, генерирующих выполнение сетевого графика пробной реализации".
Служебная записка, 02.04.1973Р-006 "Сетевой график пробной реализации (первое приближение)".
Акт экспертизы, 01.10.1987(?)рукописи конкурсного учебника для средней общеобразовательной школы "Основы информатики и вычислительной техники для 9-10 классов" - 05-КИ (10-11).
Акт экспертизы, 01.10.1987(?)рукописи конкурсного учебника для средней общеобразовательной школы "Основы информатики и вычислительной техники для 9-10 классов" - 07-КИ (10-11).
Письмо, А.П. Ершов->Н. Вирт, 02.05.1973Благодарит за высланные материалы по языку Паскаль. Рассказывает о работах по системе БЕТА, в которой в качестве начального языка для пробной реализации используется именно Паскаль. Обещает информировать о результатах и говорит, что будет рад получить другие публикации группы адресата. /Приложен черновик русского текста./
Акт, 02.03.1987(?)сопоставительной экспертизы рукописей конкурсных учебников для средней общеобразовательной школы.
Письмо, А.П. Ершов->А.А. Клас, 31.03.1977Подтверждает получение письма от 10.01.1977. С расписанием работы в ЧССР согласен.
Письмо, С. С. Лавров->А.П. Ершов, 29.03.1983Предложения по исправлению ненормального положения с разработкой стандарта языка Паскаль. /С пометками А.П. Ершова./
Письмо, А.П. Ершов->адресат не установлен, 20.06.1976(?)Автор сообщает о приглашении профессоров Э. Дейкстры и А. Хоара в качестве гостей АН СССР; надеется на сотрудничество при подготовке и проведении этого визита.
Телеграмма, А.П. Ершов->А. О. Буда, 18.05.1976"Письмо Илиеву взял Покровский для передачи в Дрездене".
Почтовая карточка, Дж. Б. Деннис->А.П. Ершов, 18.02.1977с уведомлением о получении тезисов докладов для Рабочей конференции ИФИП по формальному описанию концепций программирования.
Письмо, А.П. Ершов->С. М. Абрамович, 13.06.1980Благодарит за приглашение на школу по языку "Ада". Не имея возможности приехать самому, просит прислать приглашения двум специалистам в этой области - С.Б. Покровскому и Б.Б. Чеблакову.
Письмо, С. А. Рукова->А.П. Ершов, 23.03.1981Посылает статьи со своими вопросами, просит выслать авторские карточки на авторов статей. /Текст рукописный./
Письмо, С. А. Рукова->А.П. Ершов, 04.05.1981Просит уточнить несколько вопросов по поводу статей.
Сопроводительное письмо к материалам, С. С. Лавров->И.В. Поттосин, 28.05.2000к материалам к докладу на семинаре по логике в ПОМИ (бывш. ЛОМИ): С.С. Лавров. "Темные места в теории вычислимости"
Письмо, А.П. Ершов->Й. Груска, 27.04.1977Сообщает, что название доклада отправлено телеграммой; приедет с С.Б. Покровским; председательствовать согласен.
Материал БЕТА/М-16, 09.01.1973"О пополнении семантики и разработке представлений для Внутреннего языка системы БЕТА". Материал написан в интересах пробной реализации и содержит ряд тезисов, которые предполагается обсудить на БЕТА-семинаре.
Протокол №21, 23.11.1993заседания Ученого совета ИСИ СО РАН.
Материал БЕТА/М-19, 30.01.1973"Проблемы конструирования Внутреннего языка универсальной системы программирования". В работе подводится итог некоторого этапа в разработке Внутреннего языка системы БЕТА.
Метериал БЕТА/М-33"Предложение о программировании процедур во Внутреннем языке".
1 2 3 4 5 6 7 8 По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
