Документы, связанные с Энтони Хоар

Записка, автор не установлен->Э. В. Дейкстра, 13.09.1976
с вопросом, относящимся к доказательству корректности программ.
План
выступлений с докладами и лекциями профессоров Э. Дейкстры и Э. Хоара во время их пребывания в СССР.
Письмо, А.П. Ершов->В. М. Глушков, 26.08.1976
В соответствии с программой приема профессоров Э. Хоара и Э. Дейкстры просит назначить ответственного от ИК АН УССР, организации, принимающей ученых в Киеве.
Телеграмма, А.П. Ершов->Э. Хоар, 05.02.1975
Приветствует кандидатуру доктора Дж. Уэлша.
Предварительная программа, 25.08.1976(?)
приема гостей Академии наук СССР профессоров Э. Дейкстры (Нидерланды) и Э. Хоара (Великобритания).
Предложения, 10.01.1985(?)
издательству "Мир" по переводу и изданию в СССР работ ведущих иностранных ученых.
Сопроводительное письмо, Э. Хоар->А.П. Ершов..., 23.12.1974(?)
к информационным материалам для авторов приглашенных докладов на конференцию по надежности программного обеспечения.
Письмо, А.П. Ершов->Э. Хоар, 20.04.1982
Автор дает рекомендацию профессору Казанского университета А.И. Еникееву в связи с его предстоящей десятимесячной стажировкой в Англии в лаборатории адресата. /Текст рукописный./
Письмо
Ходатайство перед Президиумом СО АН о включении в план зарубежных научно-технических связей научной командировки А.П. Ершова в ФРГ на 2 недели в июле-августе 1984 г. в качестве лектора и участника. Обоснование прилагается.
Письмо, Э. Хоар->А.П. Ершов, 21.03.1983
Профессор Э. Хоар с сожалением отказывается принять участие в панельной дискуссии Конгресса.
Статья (на русском языке), 01.01.1992-30.04.1992
"Книга своей жизни" в рубрике "История науки в биографиях ученых" в журнале РАН "Наука в России", № 1-2, январь-апрель 1992 г., посвященная академику А.П. Ершову. В ней отрывок из послесловия к книге Андрея Петровича "Стихи", фрагмент выступления на всемирной конференции "Применение ЭВМ в обучении", многочисленные воспоминания людей, хорошо его знавших.
Статья (на английском языке), 01.03.1992-30.06.1992
"The Book of his Life", в рубрике "История науки в биографиях ученых" в журнале РАН "Science in Russia", № 2-3, март-июнь 1992 г., посвященная академику А.П. Ершову. В ней отрывок из послесловия к книге Андрея Петровича "Стихи", фрагмент выступления на всемирной конференции "Применение ЭВМ в обучении", многочисленные воспоминания людей, хорошо его знавших.
Письмо, 25.06.1986
По совету Э. Хоара адресату регулярно высылаются названия книг из серии по вычислительным машинам не только по его интересам, но и для возможного перевода некоторых из них на русский язык. В этот раз сообщаются названия трех книг.
Записка, автор не установлен->Э. В. Дейкстра, 13.09.1976
с вопросом о защите авторских прав разработчиков программного обеспечения в странах Западной Европы.
Записка, В. А. Сухомлин->Э. В. Дейкстра, 13.09.1976
с вопросом о представлении о дипломном проекте для студентов по специальности "Системное программирование".
Письмо, Э. Хоар->А.П. Ершов, 18.06.1982
Автор спрашивает, может ли адресат взять годичный отпуск и приехать в Оксфорд для научной работы?
Сопроводительное письмо, Э. Хоар->Членам ИФИП/РГ 2.1, 22.02.1968
к сравнительным стандартам АЛГОЛа 60 и ПЛ/I.
Записка, автор не установлен->Э. В. Дейкстра, 17.09.1976
с вопросом о перспективах языка Алгол-60. Просьба дать сравнительную оценку языков Алгол-60, Фортран, PL-1.
Письмо на бланке, Э. Хоар->А.П. Ершов, 03.02.1988
Автор очень тепло благодарит за предисловие, написанное адресатом к его книге, за ясную и доброжелательную критику, которую он принял близко к сердцу. /Текст рукописный./
Письмо, Э. Хоар->А.П. Ершов, 26.05.1981
в ответ на письмо адресата от 11.05.1981 - обсуждается проблема ответственности ученого перед обществом в связи с мыслями, высказанными автором в его Тьюринговской лекции.

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


Назад

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