Документы, связанные с Эдсгер В. Дейкстра

Записка, автор не установлен->Э. В. Дейкстра, 17.09.1976
с вопросами по доказательству свойств программ.
Проект программы
пребывания профессоров Э. Дейкстры и Э. Хоара в СССР в качестве гостей Академии наук СССР.
Письмо, И. В. Клокачев->А.П. Ершов, 22.07.1976
В ответ на письмо адресата с извещением о предполагаемом приезде профессоров Э. Дейкстры и Э. Хоара - автор выражает полную готовность принять участие в подготовке и реализации приема гостей в Ленинграде, но хотел бы уточнить свою роль в обеспечении приема.
Письмо, Э. В. Дейкстра->А.П. Ершов..., 06.08.1984
Приглашение на банкет для лекторов.
Проект предложения, 01.01.1969(?)
об области деятельности РГ 2.3. (Приложение № 9 к протоколу 10-го заседания ТК-2.)
Письмо, П. Наур->А.П. Ершов, 25.11.1988
Автор благодарит адресата за посвящение ему статьи, опубликованной в BIT, 28 том, ном. 3. Он оценивает и дает краткие рецензии двадцати статьям различных авторов.
Различные документы, 01.03.1980-10.03.1980
1) Заявка на столик в ресторане гостиницы "Сонеста". 2) Расписание поездов по маршруту Зандворт-Маастрихт. 3)Авиабилет "Аэрофлота" по маршруту Москва-Амстердам-Москва (01-10.03.1980).
Конспект
лекции проф. Э. Дейкстры в Институте информационных наук.
Сопроводительное письмо, А.П. Ершов->М. Синцов, 08.04.1982
к предлагаемой для публикации рецензии автора на книгу Д. Гриса.
Письмо, А.П. Ершов->В. М. Глушков, 26.08.1976
В соответствии с программой приема профессоров Э. Хоара и Э. Дейкстры просит назначить ответственного от ИК АН УССР, организации, принимающей ученых в Киеве.
План
выступлений с докладами и лекциями профессоров Э. Дейкстры и Э. Хоара во время их пребывания в СССР.
Записка, автор не установлен->Э. В. Дейкстра, 17.09.1976
с вопросом, ведет ли автоматизация програмирования (т.е. обучение компьютера программированию) к тому, что машина учится мыслить?
Записка, автор не установлен->Э. В. Дейкстра, 13.09.1976
с вопросом, относящимся к доказательству корректности программ.
Записка, автор не установлен->Э. В. Дейкстра, 17.09.1976
с вопросом: как и с какого возраста можно начинать обучать программированию?
Краткая научная биография
Э. Дейкстры, написанная А.П. Ершовым. /Текст рукописный./
Меморандум, В. М. Турский->А. Дж. Перлис, 01.11.1982
Предложение по содержанию журнала "Acta Informatica", правам и обязанностям главного редактора, процедуре прохождения рукописей.
Письмо, А.П. Ершов->М. Брой, 01.12.1982
Ответ на меморандум В. Турского от 01.11.1982.
Предложения, 10.01.1985(?)
издательству "Мир" по переводу и изданию в СССР работ ведущих иностранных ученых.
Предварительная программа, 25.08.1976(?)
приема гостей Академии наук СССР профессоров Э. Дейкстры (Нидерланды) и Э. Хоара (Великобритания).
Письмо, А.П. Ершов->В. Нигель, 19.02.1974
Объясняет свою позицию относительно статьи для публикации.

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


Назад

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