|
|||||||||||
Документы, связанные с Григорий Самуилович Цейтин Постановление, 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 | Поиск | Расширенный поиск | Папки | Темы |
|