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

  • Проект программы А.П. Ершов
    пребывания профессоров Э. Дейкстры и Э. Хоара в СССР в качестве гостей Академии наук СССР.
  • План -> А.П. Ершов
    выступлений с докладами и лекциями профессоров Э. Дейкстры и Э. Хоара во время их пребывания в СССР.
  • Исходный материал Э. Дейкстра
    для брошюры "Дейкстра Эдсгер Вейбе (биобиблиографический материал)", полученный от самого Э.В. Дейкстры.
  • Конспект А.П. Ершов
    лекции проф. Э. Дейкстры в Институте информационных наук.
  • Краткая научная биография
    Э. Дейкстры, написанная А.П. Ершовым. /Текст рукописный./
  • Брошюра А.П. Ершов
    "Эдсгер Вейбе Дейкстра" (биобиблиографический материал), подготовленный А.П. Ершовым. Издание брошюры приурочено к 50-летию со дня рождения профессора Дейкстры. /Издана в ВЦ СО АН СССР тиражем 150 экземпляров./
  • Письмо А.А. Дородницын -> Г.К. Скрябин
    Просьба пригласить в Советский Союз в качестве гостей Академии наук СССР двух ведущих ученых в области программирования профессора Эдсгера Дейкстру (Нидерланды) и профессора Энтони Хоара (Великобритания) в удобное для них время (ориентировочно, осень 1976 г.) сроком на две недели. В приложении: 1) краткая справка о профессорах Э. Дейкстре и Э. Хоаре; 2) аучная характеристика проф. Э. Дейкстры; 3) научная характеристика проф. Э. Хоара.
  • Список
    присутствовавших на семинаре в Новосибирске.
  • Статья А.П. Ершов
    "Edsger Wybe Dijkstra". /Перевод Э. Хоара написанного А.П. Ершовым текста с русского языка на английским./
  • Календарная программа А.П. Ершов
    пребывания в СССР профессоров Э. Дейкстры и Э. Хоара.
  • Письмо А.С. Алексеев
    Ходатайство перед Президиумом СО АН о включении в план зарубежных научно-технических связей научной командировки А.П. Ершова в ФРГ на 2 недели в июле-августе 1984 г. в качестве лектора и участника. Обоснование прилагается.
  • Письмо А.П. Ершов -> И. Дальштранд 21.03.1962
    Автор рад знакомству с адресатом, так как их подходы к проблеме построения трансляторов с АЛГОЛа очень близки. Рассказывает о своей работе и надеется на дальнейшее сотрудничество. /Текст рукописный./
  • Письмо С.С. Лавров -> А.П. Ершов 21.11.1962
    Комментарии автора к его учебному пособию по АЛГОЛ'у, просьба высказать замечания.
  • Письмо Ю.М. Волошин -> С.С. Лавров 02.01.1963
    с развернутой аргументацией по ранее сделанным замечаниям к учебнику по АЛГОЛу
  • Письмо Ю.М. Волошин -> С.С. Лавров 11.01.1963
    Замечания к учебнику по АЛГОЛу
  • Письмо автор не установлен -> В.Б. Орлов 10.10.1963
    Сравнительный отзыв на рукописи С.С. Лаврова "Язык АЛГОЛ-60" и Э. Дейкстра "Букварь программирования на языке АЛГОЛ-60" в переводе Ю.Н. Мироновича. Рекомендация к изданию обеих книг с учетом приведенных в письме замечаний
  • Письмо А.П. Ершов -> В. ван дер Пул 29.07.1966
    Подтверждает получение сообщения о заседании Рабочей группы. Извиняется за свою оплошность, в результате которой он перепутал адреса и направил письма не тем адресатам.
  • Копия письма Э. Дейкстра -> А. ван Вейнгаарден 27.03.1968
    Высказывает свое мнение относительно полученного отчета по АЛГОЛу 68. /Все изложено очень эмоционально, с двумя эпиграфами./
  • Письмо С.С. Лавров -> А.П. Ершов 11.04.1968
    Обсуждается обстановка, сложившаяся в ИФИП/РГ2.1. /Текст рукописный./
  • Проект Э. Дейкстра 20.12.1968
    "Особого мнения". (Док. "Мюнхен-9/102".)
  • Проект предложения Э. Дейкстра 01.01.1969
    об области деятельности РГ 2.3. (Приложение № 9 к протоколу 10-го заседания ТК-2.)
  • Особое мнение Э. Дейкстра 17.01.1969
    по Алголу 68. Проект и окончательный текст.
  • Предложения Э. Дейкстра 17.01.1969
    Рабочей группе 2.3 по поводу требований к программным средствам. (Из материалов 10-го заседания ТК-2.)
  • Выдержка Э. Дейкстра 25.01.1969
    из официального протокола РГ 2.1, содержащая текст особого мнения по Алголу 68. (Приложение № 2 к протоколу 10-го заседания ТК-2.)
  • Письмо Э. Дейкстра -> С.С. Лавров 14.02.1969
    извещающее о публикации отчета EWD 196; об Алголе 68; о методе программирования, состоящем в написании доказуемо правильных программ
  • Копия письма Э. Дейкстра -> В. ван дер Пул 26.02.1969
    С сожалением сообщает о своем выходе из ИФИП/РГ2.1.
  • Впечатления о конференции Е. Дейкстры Э. Дейкстра 20.03.1970
    Автор резюмирует свои впечатления от конференции в Капенгагене.
  • Отчёт о командировке в Англию С.С. Лавров 10.04.1970
    С.С. Лавров участвовал в заседании Рабочей группы 2.3 ИФИП.
  • Письмо Ф. Бауэр -> С.С. Лавров 09.11.1970
    от лица организационного комитета нового журнала Acta Informatica автор сообщает подробности о журнале: тематику, список поддержавших начинание ученых, принципы отбора статей и т.п.
  • Отчет А.П. Ершов 24.09.1972
    представителя СССР о 14-м заседании Технического комитета ИФИП № 2 по программированию (ТК-2). /Рукописный и машинописный варианты./
  • Письмо Ф. Бауэр -> А.П. Ершов 05.10.1972
    Сообщает, что выслал копию статьи Э.В. Дейкстры "Заметки по структурному программированию". Надеется, что адресату она будет интересна.
  • Письмо М. Вуджер -> Членам ИФИП/ТК2 01.05.1973
    Председатель ИФИП/РГ2.3 рассылает отчет о заседании Группы в Мюнхене в апреле 1973 года.
  • Письмо с приложением В. Нигель -> А.П. Ершов 29.11.1973
    Посылает два реферата на одну и ту же статью. Один из них - положительный, другой - отрицательный. Просит решить окончательно, стоит ли публиковать эту статью.
  • Письмо А.П. Ершов -> В. Нигель 19.02.1974
    Объясняет свою позицию относительно статьи для публикации.
  • Письмо С. Гилл -> А.П. Ершов 24.04.1974
    Автор очень рад, что адресат согласился участвовать в панельной дискуссии. Рассказывает о проблемах формирования списка участников.
  • Справка 01.08.1974
    о "Выдающихся членах" Британского вычислительного общества (звание "Выдающийся член" - высшая степень профессионального признания в области вычислительного дела в Англии) и о Британском вычислительном обществе.
  • Письмо Ф. Бауэр -> А.П. Ершов 18.12.1974
    Напоминает о Летней школе 1975 года, очень надеется, что Андрей Петрович сможет на нее приехать. Рассказывает о других приглашенных докладчиках. Просит сообщить, сколько докладов Андрей Петрович сможет сделать.
  • Протокол заседания (неформальный) Э. Дейкстра 28.01.1975
    рабочей группы 2.3 ИФИП. Мюнхен, 9-13 декабря 1974.
  • Письмо М. Гальперн -> А.П. Ершов 06.02.1975
    Обсуждаются вопросы формирования редакционной коллегии для "Ежегодного обозрения по автоматическому программированию".
  • Отзыв А.П. Ершов 26.02.1975
    официального оппонента на диссертацию В.Л. Темова "Язык программирования ИНФ и определяющая его семантику машина", представленную на соискание ученой степени кандидата физико-математических наук.
  • Письмо А. Мазуркевич -> А.П. Ершов 27.11.1975
    Автор сообщает о письме Э. Дейкстры о его предполагаемой поездке в Москву по приглашению адресата, которая по времени может совпасть с симпозиумом в Гданьске. Автор еще раз приглашает адресата принять в участие в симпозиуме и там встретиться с Э. Дейкстрой.
  • Копия письма Э. Дейкстра -> А.П. Ершов 30.12.1975
    с доказательством теоремы Морли, присланная адресату с целью доставить ему удовольствие. /Текст рукописный./
  • Телеграмма А.П. Ершов -> А. Мазуркевич 06.01.1976
    Сообщает, что не может участвовать в сентябрьском симпозиуме из-за Инфопола.
  • Письмо Э. Хоар -> А.П. Ершов 06.01.1976
    Напоминает, что приглашает адресата на сентябрь 1976 года. Сообщает, что держит этот месяц свободным; просит сообщить о планах.
  • Телеграмма А.П. Ершов -> Э. Хоар 26.01.1976
    Предлагаемая дата - 12 сентября, вслед за симпозиумом в Польше.

Страницы

Назад