![]() |
|||||||||||
![]() |
|||||||||||
![]() |
|||||||||||
![]() |
|||||||||||
|
|||||||||||
![]() |
|||||||||||
![]() |
|||||||||||
![]() |
|||||||||||
![]() |
![]() |
Документы, связанные с Энтони Хоар Сопроводительное письмо, А.П. Ершов->И. И. Недлин, 18.06.1976 к проекту программы приема гостей АН СССР профессоров Э. Дейкстры и Э. Хоара, приглашенных вице-президентом АН СССР академиком Г.И. Марчуком сроком на две недели в сентябре 1976 года.
Письмо, А. А. Дородницын->Г. К. Скрябин...Просьба пригласить в Советский Союз в качестве гостей Академии наук СССР двух ведущих ученых в области программирования профессора Эдсгера Дейкстру (Нидерланды) и профессора Энтони Хоара (Великобритания) в удобное для них время (ориентировочно, осень 1976 г.) сроком на две недели. В приложении: 1) краткая справка о профессорах Э. Дейкстре и Э. Хоаре; 2) аучная характеристика проф. Э. Дейкстры; 3) научная характеристика проф. Э. Хоара.
Записка, автор не установлен->Э. В. Дейкстра, 13.09.1976с вопросом о перспективности направления, развиваемого фирмой Барроуз.
Протокол заседания (неформальный), 28.01.1975рабочей группы 2.3 ИФИП. Мюнхен, 9-13 декабря 1974.
Письмо, А.П. Ершов->Э. Хоар, 17.01.1983Формальное приглашение от имени Программного комитета ИФИП-83 принять участие в работе Конгресса и в панельной дискуссии.
Предложения, 20.03.1975отделения информатики по приглашению зарубежных ученых по линии НГУ.
Письмо, Э. Хоар->А.П. Ершов, 02.03.1981Благодарит за присланный биографический очерк об Э. Дейкстре, написанный адресатом. Автор приложил свой перевод очерка на английский язык и просит проверить, насколько он точен.
Записка, автор не установлен->Э. Хоар, 13.09.1976с вопросом о правомерности сравнения работы программиста по проектированию программы с "аппаратной" техникой.
Календарная программапребывания в СССР профессоров Э. Дейкстры и Э. Хоара.
Письмо, Э. Хоар->А.П. Ершов, 14.07.1976Обсуждаются вопросы, связанные с поездкой в СССР.
Письмо, А.П. Ершов->Э. Хоар, 23.01.1984Автор сообщает, что не сможет принять участие в дискуссии по приглашению Королевского общества, так как планирует проведение совместно с ИФИП Второй международной конференции в Ургенче. Просит прислать материалы дискуссии.
Письмо, 09.09.1974Описание процедуры отбора статей на конференцию по надежности программного обеспечения (по хронологии и персоналиям).
Письмо, Э. В. Дейкстра->А.П. Ершов..., 06.08.1984Приглашение на банкет для лекторов.
Письмо, И. В. Клокачев->А.П. Ершов, 22.07.1976В ответ на письмо адресата с извещением о предполагаемом приезде профессоров Э. Дейкстры и Э. Хоара - автор выражает полную готовность принять участие в подготовке и реализации приема гостей в Ленинграде, но хотел бы уточнить свою роль в обеспечении приема.
Проект программыпребывания профессоров Э. Дейкстры и Э. Хоара в СССР в качестве гостей Академии наук СССР.
Записка, автор не установлен->Э. Хоар, 13.09.1976с вопросом об интересе к реляционным базам данных.
Письмо, А.П. Ершов->М. Р. Шура-Бура, 13.04.1966Посылает оповещение о Летней школе НАТО, полученное от Ф. Женюи. Говорит, что решение вопроса об участии в руках А.А. Дородницына. Упоминает об отмене заседания ИФИП/РГ2.1 в Варшаве.
Письмо, ван Влит->А.П. Ершов, 17.02.1981Сообщает об отборочном заседании в Математическом Центре 15 мая; о заседании ИФИП/РГ2.1 в Неймегене 11-14 мая; о "маленьком" симпозиуме "Текущие тенденции методологии программирования" 16 мая.
Письмо, Г. Р. Громов->А.П. Ершов, 29.10.1984Автор посылает А.П. Ершову свой рабочий экземпляр перевода статьи Э. Хоара и просит его вернуть, как только из редакции вышлют копию. Посылает также свои комментарии к этой статье. Аналогичный "отлуп" автор дал и В.В. Крылову на его статью "Наука о программах ...". Предлагает провести диспут на затронутые темы в № 1 журнала за 1985 год.
Заметка, 05.11.1984"Программирование как точная наука". В ней - комментарий к статье Э. Хоара, опубликованной в журнале "Микропроцессорные средства и системы".
1 2 3 4 5 6 7 8 9 10 11 12 По порядку | По алфавиту | По дате Назад |
![]() |
![]() | Switch to English | Поиск | Расширенный поиск | Папки | Темы | ![]() |
![]() |
|||||
![]() |
|||||
![]() |
|||||
![]() |
|||||
|