|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Стефен К. Клини Фотография, 15.09.1979 Ургенч. Встреча. С. Клини с женой.
Конспектсоставленный при чтении книги С. Клини "Введение в метаматематику".
Рабочие записи, 22.09.1979сделанные при чтении книги С. Клини "Введение в метаматематику".
Фотография, 16.09.1979Хива. Летний павильон. Слева - А.П. Ершов, справа - С. Клини, А. ван Вейнгаарден и Х. Земанек.
Фотография, 16.09.1979-22.09.1979Хива. Летний павильон. Слева направо - С. Клини, Г. Земанек, танцовщицы, М. Земанек.
Телеграмма, А.П. Ершов->С. К. Клини, 03.09.1979Надеется, что все будет в порядке с делами, затронутыми в последнем письме адресата. /Рукописный и машинописный тексты./
Фотография, 16.09.1979-22.09.1979Хива. Встреча. Справа - Д. Кнут и С. Клини.
Отчет, 10.01.1980(?)"International Symposium on Algorithms in Modern Mathematics and Computer Science" - отчет для "Bulletin of the European Association for Theoretical Computer Science (EATCS)", 1980, No. 10.
Рабочие записи, 06.12.1980-22.12.1980сделанные при чтении книги С. Клини "Математическая логика".
Письмо, А.П. Ершов->С. К. Клини, 01.02.1980(?)Высказывает свои соображения по абстрактной вычислимости.
Тезисы, 21.09.1979докладов, которые должны быть сделаны 21 сентября 1979 г.
Письмо, А.П. Ершов->С. К. Клини, 07.02.1980Подтверждает получение статьи; она поступила одной из первых; "это еще один пример для нас, более
молодых участников, того, как надо работать"; формулирует необходимость аксиоматического определения конструктивных объектов; выражает просьбу прислать копию более подробного доклада по истории теории алгоритмов, если он уже готов.
Письмо, Ю. Хартманис->А.П. Ершов, 22.02.1980Подтверждает заинтересованность издательства "Springer-Verlag" в публикации трудов Ургенчского симпозиума.
Фотография, 21.09.1979Прием в АН Узбекской ССР. Д. Кнут и супруги Клини.
Фотография, 21.09.1979Прием в АН Узбекской ССР. С. Клини и Ю.В. Капитонова.
Письмо, С. К. Клини ->А.П. Ершов, 18.04.1980Благодарит за любезную записку от 01.02.1980; сообщает о редактировании одного из абзацев; пишет, что представил исторический обзор в 20-й выпуск "Symposium on Foundations of Computer Science", обещает прислать копию.
Фотография, 16.09.1979-22.09.1979Супруги Клини в Ургенче, у облсовета.
Фотография, 16.09.1979-22.09.1979Ташкент. В.А. Успенский и супруги Клини.
Телеграмма, А.П. Ершов->В. В. Давыдов, 07.09.1979Просьба проследить своевременную отправку телеграммы в Берн и справиться о положении дел с приглашением двух польских ученых. /Рукописный и машинописный тексты./
Телеграмма, А.П. Ершов->В. В. Давыдов, 13.09.1979Просит послать телеграммы в Ташкент в отношении С. Клини, М. Патерсона, Ф. Штрассена, А. Мазуркевича и З. Павлака. /Рукописный и машинописный тексты./
1 2 3 По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
