Документы, связанные с Григорий Самуилович Цейтин

Постановление, 28.04.1976
ГКНТ СССР об организации ВНТК по Алголу 68.
Протокол
1-го заседания РГ А-68, состоявшегося 6-10 апреля 1987 года в Томске.
Телеграмма, А.П. Ершов->Г. С. Цейтин, 06.01.1970
о договоре с НИЦЭВТом.
Доклад
Г.С. Цейтина. /Текст рукописный, на английском языке./
Заметки, 19.03.1980-22.03.1980
сделанные по ходу работы семинара, проводимого лабораторией А.С. Нариньяни, посвященного итогам и перспективам проекта "Диалог" (взаимодействие с ЭВМ на естественном языке).
Письмо, А.П. Ершов->Г. С. Цейтин, 04.02.1984
Предлагает придумать более подходящий заголовок и написать сообщение об ОС ЕС для бюллетеня Координационного комитета АН СССР по ВТ. /Текст рукописный./
Список, 28.04.1976(?)
адресов и телефонов членов ВНТК и их сотрудников.
Протокол заседания, 20.02.1981
ВНТК (Ленинград, февраль 1981). В приложении - заключение о реализации "Системы программирования Алгол 68/ЛГУ на ЕС ЭВМ".
Письмо, А.П. Ершов->Г. С. Цейтин, 11.08.1987
Благодарит за письмо и вдумчивую статью. Высказывает свое мнение и рекомендации по доработке.
Дискуссия
по статьям С.С. Лаврова в МП (№ 3 за 1984 г. и № 3 за 1986 г.).
Доклад, 01.11.1983
"Критический анализ программного обеспечения ЕС ЭВМ и альтернативные пути развития".
Предложения, 18.05.1976
к заседанию ВНТК. /Рукописный и машинописный текст./
Письмо, Г. С. Цейтин->А.П. Ершов, 19.01.1985
Извинения за допущенную дезинформацию; подробно о ситуации, сложившейся в ЛГУ, в результате которой реальна перспектива остаться без работы.
Рабочие записи, 19.11.1984
в процессе заседаний на конференции.
Записка, Г. С. Цейтин->А.П. Ершов, 09.09.1982
Г.С. Цейтина, касающаяся обсуждения доказательности программирования.
Записка, Г. С. Цейтин->А.П. Ершов, 06.02.1986
Автор сообщает, что задерживается в Москве. Если у адресата будет время и желание для подробного разговора, можно встретиться. /Текст рукописный./
Статья
"К постановке задачи синтеза программ".
План-проспект
сборника "Общение с ЭВМ на естественном языке".
Мнение, Г. С. Цейтин->А.П. Ершов, 09.09.1982
о контрактационном программировании, изложенное автором в письменном виде по просьбе адресата. /Текст рукописный./
Записка, Г. С. Цейтин->А.П. Ершов, 10.10.1983
Дополнение к выступлению.

1 2 3 4 5 6 7 8 9 10
По порядку | По алфавиту | По дате


Назад

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