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

Письмо, А.П. Ершов->Дж. Маккарти, 17.03.1978
Благодарит за книгу. Описывает состояние некоторых работ, в частности, системы взаимодействия с ЭВМ на естественном языке и мультипроцессорного комплекса "Эльбрус-1"; сообщает, что завершил работу над книгой "Введение в теоретическое программирование", что появилась идея провести в Узбекистане симпозиума "Алгоритм в современной математической и вычислительной математике".
Программа, 04.10.1965
Подробная программа пребывания профессора Дж. Маккарти в Академгородке.
Отчет, 10.09.1972
о симпозиуме по теории программирования, проходившем в Новосибирске с 7 по 11 агуста 1972 года.
Письмо, А.П. Ершов->Дж. Маккарти, 06.01.1975
Рассказывает о рабочих делах, о семейных новостях. Просит достать Труды симпозиума по принципам языков программирования в Пало-Альто.
Аннотации статей, 01.05.1973(?)
с cимпозиума по теоретическому программированию в журнале "BIT" (No. 5, 1973) на японском языке: Дж. Маккарти, А.А. Ляпунова, Э. Хоара, Дж. Денниса, Н. Вирта и др.
Отчет, 10.09.1967
"Набросок состава БЕТА-языка". /Текст рукописный./
Письмо, А.П. Ершов->Э. А. Фейгенбаум, 20.01.1967
Автор сообщает, что сделал все от него зависящее для подготовки своей поездки в США. Сейчас ждет развития событий, не имея возможности влиять на них. Достоверно известно, что Академия наук разрешила автору сделать доклад на Весенней Объединенной вычислительной конференции 1967 года.
Телеграмма, А.П. Ершов->Дж. Маккарти, 24.01.1966
Командировки отложена. Ответ письмом. /Текст рукописный./
Список, 05.08.1970(?)
организаций и лиц, которых А.П. Ершов намеревался посетить в США.
Выдержки из статей, 01.08.1974(?)-01.10.1974
из журнала SIGART Newsletter No. 47-48, где обсуждается письмо Дж. Минкера, который призывает проводить МОКИИ-4 в другой стране или же бойкотировать ее проведение в СССР. Реакция на это видных ученых.
Список, 12.09.1986
американских коллег, информированных о визите А.П. Ершова в США, и тем для обсуждения.
Доклады иностранных участников, международная дискуссия
Ф.Л.Бауэр "Языки программирования с образовательной и профессиональной точек зрения"; А.ван Вейнгаарден "На границе между естественным и искусственным языками"; П.З.Ингерман "Таксономия для программирования"; Дж.Кок "Глобальная экономия команд"; Дж.Маккарти "Текущее состояние математической теории вычислений"; Луи Нолэн "АТФ - разумный язык программирования"; материалы дискуссии по теме "Программирование в 70-х годах"
Отчет, 22.07.1975
о научной командировке в США делегации в составе А.П. Ершова, С.И. Самойленко, В.М. Брябрина с 13 по 28 апреля 1975 года.
Отчет, 10.09.1967
"Набросок состава БЕТА-языка". /Текст машинописный./
Записи бесед
с различными учеными.
Обоснование, 17.07.1965
пребывания профессора Дж. Маккарти в ВЦ СО АН СССР.
Записка, 19.09.1967
составленная в связи с предстоящим разговором с Г.И. Марчуком. В ней 8 пунктов, которые следовало бы обсудить при встрече. /Текст рукописный./
Телеграмма, Дж. Маккарти->А.П. Ершов, 05.03.1981
Рады будут принять в Стэнфорде.
Незавершенная статья, 17.03.1981
"Язык программирования "ELEPHANT". /Текст рукописный./
Статья, 12.02.2003
"Школа юных программистов. Страницы истории" в газете "Наука в Сибири" №6, февраль 2003г.

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