Документы, связанные с Стефен К. Клини

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