|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Джек Боннелл Деннис Письмо, А.П. Ершов->М. Дж. Фишер, 24.04.1974 Благодарит за письмо от 28 марта и посылает Труды Новосибирского симпозиума. Рассказывает об обещании профессора Б.А. Трахтенброта подобрать для адресата последние статьи по сложности алгоритмов.
Письмо, Я. Чу->А.П. Ершов, 13.08.1979Сообщает о предстоящем симпозиуме по архитектуре ЭВМ с языками высокого уровня; называет предварительный состав программного комитета; приглашает адресата участвовать в работе симпозиума.
Сопроводительное письмо, А.П. Ершов->Дж. Б. Деннис, 12.04.1977к отправленным книгам.
Письмо, Дж. Б. Деннис->А.П. Ершов, 21.09.1979Авторы посылают предварительные материалы по языку VAL, разработанному в Лаборатории. Просят дать комментарии.
Письмо, А.П. Ершов->Дж. Б. Деннис, 14.04.1978с благодарностью за открытку и выпуск "Семейных новостей", которые живо напомнили автору попытку его сына, предпринятую в 14-летнем возрасте. Планирует приехать в США на месяц с надеждой увидеть старых друзей.
Оригинал и перевод, Э. Фредкин->А.П. Ершов, 29.03.1972Приглашает посетить лабораторию Проекта МАК. Просит дать знать, какие числа удобны. Перечисляет фамилии ученых, которые выразили большой интерес к возможному общению с адресатом. Перевод сделан с английского языка на русский.
Телеграмма, А.П. Ершов->Бойченко, 03.08.1972просьба сообщить время пребытия в Новосибирск Дж.Б. Денниса.
Телеграмма, А.П. Ершов->Дж. Б. Деннис, 17.06.1976с выражением согласия войти в Программный комитет.
Письмо, А.П. Ершов->Дж. Б. Деннис, 26.07.1973Рассказывает о своей предполагаемой программе визита в США и о том, что хотелось бы успеть во время этого визита.
Письмо, А.П. Ершов->В. Е. Котов, 22.07.1974Благодарит за письмо от 6 июня. Рассказывает о событиях в отделе и о планируемом симпозиуме в Кишиневе. Одобряет все действия адресата в США.
Письмо с приложением, Дж. Б. Деннис->А.П. Ершов, 16.04.1976Автор информирует о предстоящей Рабочей конференции по формальному описанию программных концепций, проводимой в рамках Конгресса ИФИП-77 в Торонто. Приглашает адресата стать членом программного комитета. Прилагает проект информационного оповещения.
Ксерокопия, 25.12.1981шутливой рождественской газеты "The Family News" семьи Дж.Б. Денниса.
Письмо, Дж. Б. Деннис->А.П. Ершов, 30.04.1976о том, насколько важно участие адресата в работе программного комитета Рабочей конференции.
Письмо, Дж. Б. Деннис->А.П. Ершов, 15.04.1977Редакция сообщает, что доклад адресата включен в Труды рабочей конференции ИФИП/ТК2 "Формальное описание концепций программирования". Срок подачи рукописи до 1 июня 1977 г.
Телеграмма, А.П. Ершов->Дж. Б. Деннис, 13.08.1973Сообщает, что замечания по обзору будут обсуждаться во время визита.
Письмо, А.П. Ершов->Дж. Б. Деннис, 11.11.1971В ответ на письмо от 07.09.1971 - приглашение на симпозиум по теоретическому программированию, который планируется провести летом 1972 г.; благодарность за книги; обещание прислать материалы по системе БЕТА.
Письмо, А.П. Ершов->Дж. Б. Деннис, 22.10.1979Поздравляет с завершением работ по системе VAL.
Письмо, А.П. Ершов->Дж. Б. Деннис, 02.12.1971Благодарен за отчет, который может быть полезным в проекте БЕТА, и за согласие принять участие в симпозиуме по теоретическому программированию.
Рецензия, Дж. Б. Деннис->А.П. Ершов, 21.12.1979Дж. Денниса на доклад К. Табаты и др.
Письмо, А.П. Ершов->Д. Ауфенкамп, 28.11.1974Обсуждаются вопросы советско-американского сотрудничества по теоретическим вопросам программного обеспечения. Автор надеется, что общая формула договоренности позволит в ближайшее время установить формальные рамки общих проектов. Высказывает свои замечания и предложения по проблеме взаимодействия с ЭВМ на естественном языке.
1 2 3 4 5 По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
