|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Джон Маккарти Тезисы возможного доклада "Абстрактная вычислимость на основе формальных инвариантов, отражающих историю вычислений" на международном конгрессе математиков 1982 года.
Аннотацияспецкурса по математической теории вычислений.
Доклады иностранных участников, международная дискуссияФ.Л.Бауэр "Языки программирования с образовательной и профессиональной точек зрения";
А.ван Вейнгаарден "На границе между естественным и искусственным языками";
П.З.Ингерман "Таксономия для программирования";
Дж.Кок "Глобальная экономия команд";
Дж.Маккарти "Текущее состояние математической теории вычислений";
Луи Нолэн "АТФ - разумный язык программирования";
материалы дискуссии по теме "Программирование в 70-х годах"
Записи беседс различными учеными.
Программагодового спецкурса "Теория операторных схем", прочитанного в 1968-1969 уч. году на матфаке НГУ по кафедре теоретической кибернетики.
Письмо, Г. И. Марчук->В. В. Пазельскийс просьбой продлить визу профессору Дж. Маккарти.
Заседание КМаккарти Дж. "Новые результаты в математической теории вычислений"; Редько В.Н. "Параметрические грамматики"; Фуксман А.Л. "О некоторых свойствах формальных грамматик"; Тузов В.А. "Проблемы разрешения для граф-схем с перестановочными операторами";
Непомнящий В.А. "Об одном методе распознавания эквивалентности схем программ и дискретных преобразований"; Гонца М. Г., Маричук М.Н. "Параметрически управляемый синтаксический контроль и анализ языков программирования"
Учетная карточка иностранного ученогоВопросы, Р. В. Хокни->А.П. Ершов... касающиеся использования естественного языка, поступившие от разных лиц.
Рабочая записка"Некоторые замечания к проекту АИСТ", сделанные во время приезда Дж. Маккарти в ВЦ СО АН. /Текст переведен на русский язык А.П. Ершовым и записан им собственноручно./
Телеграммав Москву с просьбой забронированть номер в гостинице для профессора Дж. Маккарти.
Рабочая запискаМнение Дж. Маккарти о проекте "АИСТ-0".
ФотографияДж. Маккарти.
Рабочие записиНаброски для беседы с Дж. Маккарти.
Отчето пребывании в Академгородке профессора Дж. Маккарти с 7 по 13 марта 1967 года.
АнкетаДж. Маккарти.
Записка, А.П. Ершов->Г. И. Марчуко содержании бесед с Дж. Маккарти о развитии работ по искусственному интеллекту; с С.А. Лебедевым и В.С. Бурцевым - о назначении автора письма руководителем работ по математическому обеспечению "Горы".
ФотографияУчастники конференции А.А. Берс и Дж. Маккарти.
Письмо, Дж. Маккарти->А.П. Ершов, 02.03.1959Посылает материал, который показывал в Англии. Надеется, что адресат сможет приехать летом в США.
Письмо, А.П. Ершов->Дж. Маккарти, 27.04.1959Благодарит за статью. Сообщает о своей планируемой летней поездке в США, где надеется встретиться с адресатом.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
