|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Эдсгер В. Дейкстра Записка, автор не установлен->Э. В. Дейкстра, 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.19801) Заявка на столик в ресторане гостиницы "Сонеста". 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 | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
