Документы, связанные с Джон Маккарти

"Сообщение об Алголе 60", 01.03.1960(?)
в переводе на русский язык Г.И. Кожухина. /Текст машинописный./
Анкета
Дж. Маккарти.
Аннотации статей, 01.05.1973(?)
с cимпозиума по теоретическому программированию в журнале "BIT" (No. 5, 1973) на японском языке: Дж. Маккарти, А.А. Ляпунова, Э. Хоара, Дж. Денниса, Н. Вирта и др.
Аннотация
спецкурса по математической теории вычислений.
Вопросы, Р. В. Хокни->А.П. Ершов...
касающиеся использования естественного языка, поступившие от разных лиц.
Выдержки из статей, 01.08.1974(?)-01.10.1974
из журнала SIGART Newsletter No. 47-48, где обсуждается письмо Дж. Минкера, который призывает проводить МОКИИ-4 в другой стране или же бойкотировать ее проведение в СССР. Реакция на это видных ученых.
Газета, 24.09.1987
"Наука в Сибири" за 24.09.1987 с текстом лекции проф. Дж. Маккарти по искусственному интеллекту на ЛШЮП-87.
Доклады иностранных участников, международная дискуссия
Ф.Л.Бауэр "Языки программирования с образовательной и профессиональной точек зрения"; А.ван Вейнгаарден "На границе между естественным и искусственным языками"; П.З.Ингерман "Таксономия для программирования"; Дж.Кок "Глобальная экономия команд"; Дж.Маккарти "Текущее состояние математической теории вычислений"; Луи Нолэн "АТФ - разумный язык программирования"; материалы дискуссии по теме "Программирование в 70-х годах"
Заметки, 15.08.1972
о начале работ по ИИ в Академгородке.
Заметки, 23.09.1983(?)
Краткие заметки по выступлениям Д. Бьорнера, А. Бликле, Ю. Хартманиса, Дж. Маккарти.
Замечания, 17.01.1983
к панельной дискуссии "Крепкие орешки информатики".
Записи, 21.04.1977-23.04.1977
сделанные по ходу совещания.
Записи, 28.10.1970
сделанные во время пребывания в Стэнфорде.
Записи, 20.10.1970
сделанные во время пребывания в Стэнфорде.
Записи бесед
с различными учеными.
Записка, 19.09.1967
составленная в связи с предстоящим разговором с Г.И. Марчуком. В ней 8 пунктов, которые следовало бы обсудить при встрече. /Текст рукописный./
Записка, А. И. Мальцев->А.П. Ершов, 10.09.1967(?)
Приглашает А.П. Ершова и Дж. Маккарти к себе домой в гости.
Записка, Дж. Маккарти->А.П. Ершов, 12.01.1970
Напоминает о П. Суппесе, который готов продемонстрировать программу обучения по телетайпу из Академгородка.
Записка, А.П. Ершов->Г. И. Марчук
о содержании бесед с Дж. Маккарти о развитии работ по искусственному интеллекту; с С.А. Лебедевым и В.С. Бурцевым - о назначении автора письма руководителем работ по математическому обеспечению "Горы".
Записки, 04.02.1970
адресованные Дж. Маккарти как участнику панельной дискуссии.

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
По порядку | По алфавиту | По дате


Назад

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