|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Эдсгер В. Дейкстра Письмо, А.П. Ершов->В. К. Кабулов, 27.03.1978 Сообщает, что идея проведения в Ургенче симпозиума поддержана руководством АН СССР и широкой научной общественностью: Г.И. Марчуком, А.А. Дородницыным, В.М. Глушковым, С.С. Лавровым, Д. Кнутом, Дж. Маккарти, Ф.Л. Бауэром, Э. Хоаром, Э. Дейкстрой и др. видными учеными.
Письмо, А.П. Ершов->Э. В. Дейкстра, 30.01.1979Автор сообщает о программе своего визита в Нидерланды на заседание программного комитета Конгресса ИФИП-80 и надеется на встречу для обсуждения проблем теории программирования. Если будут слушатели, готов выступить на семинаре.
Телеграмма, А.П. Ершов->П. А. Варес, 25.08.1976с просьбой официально сообщить о финансовых условиях оплаты гостиницы и транспортных расходов в связи с визитом проф. Э. Дейкстры и Э. Хоара.
Письмо с приложением, 17.04.1980Сопроводительное письмо к отчёту А.П. Ершова об участии в третьем заседании ПК и сам этот отчет.
Выдержка, 25.01.1969из официального протокола РГ 2.1, содержащая текст особого мнения по Алголу 68. (Приложение № 2 к протоколу 10-го заседания ТК-2.)
Письмо, автор не установлен->В.Б. Орлов, 10.10.1963(?)Сравнительный отзыв на рукописи С.С. Лаврова "Язык АЛГОЛ-60" и Э. Дейкстра "Букварь программирования на языке АЛГОЛ-60" в переводе Ю.Н. Мироновича. Рекомендация к изданию обеих книг с учетом приведенных в письме замечаний
Письмо, А.П. Ершов->А. ван Вейнгаарден, 30.01.1979Автор сообщает о своем визите в Нидерланды на заседание программного комитета Конгресса ИФИП-80. Надеется встретиться там с А. ван Вейнгаарденом и Я.В. де Баккером, просит сообщить телефон для связи.
Письмо, А.П. Ершов->Э. В. Дейкстра, 26.01.1976Содержит различную полезную информацию для адресатов, которые собираются приехать в СССР в качестве гостей Академии наук.
Телеграмма, А.П. Ершов->П. А. Варес, 20.08.1976(?)Просьба сообщить принимающим организациям финансовые условия оплаты гостиницы и транспортных расходов гостей АН СССР профессоров Э. Дейкстры и Э. Хоара. /Текст рукописный./
Письмо, А.П. Ершов->В.Дж. Мейджер, 15.04.1978Посылает статью с рекомендацией для опубликования, несмотря на то, что она немного больше по объему, чем это принято в журнале IPL.
Письмо, А.П. Ершов->К. Костер, 30.01.1979Автор сообщает о своем визите в Нидерланды на заседание программного комитета Конгресса ИФИП-80. Готов сделать сообщение на семинаре. Просит сообщить номер телефона для связи.
Письмо, Э. В. Дейкстра->А.П. Ершов, 15.02.1981Автор сообщает, что получил буклет, подготовленный адресатом к его 50-летию. Очень тронут. Сообщает о семейных новостях. Обсуждает возможность встречи на конференции.
Письмо, Г. И. Марчук->Э. В. Дейкстра, 26.02.1976Официальное приглашение профессору Э. Дейкстре посетить Советский Союз. (На двух языках).
Телеграмма, Э. В. Дейкстра->А.П. Ершов, 22.10.1981о встрече в аэропорту Схипхол.
Краткий отчет, 01.04.1979(?)о пребывании А.П. Ершова на втором заседании ПК.
Брошюра"Эдсгер Вейбе Дейкстра" (биобиблиографический материал), подготовленный А.П. Ершовым. Издание брошюры приурочено к 50-летию со дня рождения профессора Дейкстры. /Издана в ВЦ СО АН СССР тиражем 150 экземпляров./
Письмо, А.П. Ершов->Г.Н. Черкасов, 20.08.1976(?)Просьба санкционировать участие И.В. Клокачева и сотрудников его лаборатории в приеме профессоров Э. Дейкстры и Э. Хоара, а также оказать содействие в проведении семинара с докладами гостей в помещении Института социально-экономических проблем АН СССР.
Письмо, А.П. Ершов->С. Г. Сосновский, 20.04.1976По поводу выплаты гонорара иностранным ученым проф. Э. Хоару и проф. Э. Дейкстре. Краткая научная и личностная характеристика, в которой подчеркивается "дружественное отношение к Советскому Союзу и его ученым".
Записка, автор не установлен->Э. В. Дейкстра, 13.09.1976с вопросом о процедуре отладки верифицированной программы.
Записка, С. С. Лавров->Э. В. Дейкстра, 17.09.1976с вопросом о задачах, рассматриваемых в литературе по методологии программирования.
1 2 3 4 5 6 7 8 9 10 11 12 По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
