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

  • Учетная карточка иностранного ученого
  • Доклады иностранных участников, международная дискуссия Д. Кок
    Ф.Л.Бауэр "Языки программирования с образовательной и профессиональной точек зрения"; А.ван Вейнгаарден "На границе между естественным и искусственным языками"; П.З.Ингерман "Таксономия для программирования"; Дж.Кок "Глобальная экономия команд"; Дж.Маккарти "Текущее состояние математической теории вычислений"; Луи Нолэн "АТФ - разумный язык программирования"; материалы дискуссии по теме "Программирование в 70-х годах"
  • Заседание Г Д. Кок
    Дж. Кок "Глобальная экономия совпадающих выражений"; Романовская Л.М, Столяров Г.К., Федоров А.Т., Фельдман Л.С. "Система автоматизации программирования на базе минимального согласованного КОБОЛа"; Шкут Н.В. "Вопросы оптимизации рабочих программ в трансляторах ТАМ-22Т и ТАМ-32"; Тинн К.А., Тыугу Э.Х., Унт М.И. "Система модульного программирования для ЦВМ Минск-22"; Шураков В.В., Морозов В.П. "Система автоматизации программирования задач обработки данных для ЭВМ Минск-22"; Красник Л.И., Неменман М.Е.,Цегельский В.И. "Основные положения системы программирования машины Минск-32"; Асцатуров P.M., Чернецкий Л.В., Мальцев Н.А., Марголин М.С. "Система автоматизации микропрограммирования"; Максимей И.В. "Программное обеспечение для проведения статистического анализа динамики работы регистров и устройств машины М-220 при решении задач"
  • Письмо Д. Шварц -> А.П. Ершов 19.12.1968
    Рассказывает, что его коллега, Дж. Кок, хотел бы приехать в Новосибирск. Спрашивает, можно ли сделать для него приглашение.
  • Письмо А.П. Ершов -> Д. Шварц 17.01.1969
    в ответ на письмо от 19.12.1968 - о приглашении проф. Дж. Кока в Новосибирск.
  • Телеграмма Д. Кок -> А.П. Ершов 06.11.1969
    Говорит, что очень заинтересован и просит выслать приглашение на конференцию ВКП-2.
  • Телеграмма Д. Кок -> А.П. Ершов 04.12.1969
    Сообщает название своего доклада.
  • Сопроводительное письмо Д. Шварц -> А.П. Ершов 07.01.1970
    к статье Дж. Кока.
  • Фотография 04.02.1970
    Прием в честь иностранных участников конференции. Слева направо - А.П. Ершов, Дж. Кок, Т.Г. Голенпольский, Г.И. Марчук.
  • Фотография 04.02.1970
    Прием в честь иностранных участников конференции. Слева направо - Дж. Кок, Т.Г. Голенпольский (стоит), Г.И. Марчук, Ф. Бауэр (стоит).
  • Заметки Д. Кок 04.02.1970
    сделанные А.П. Ершовым во время выступления панелистов.
  • Фотография 04.02.1970
    Прием в честь иностранных участников конференции. Слева направо: стоит Т.Г. Голенпольский, сидят Дж. Кок и Г.И. Марчук, стоит Ф. Бауэр.
  • Фотография 05.02.1970
    Дж. Кок.
  • Письмо Н.Д. Введенская -> А.П. Ершов 12.02.1970
    Просьба передать профессору Коуи во время его приезда в Новосибирск перевод его тезисов на русский язык.
  • Научная характеристика Г.И. Марчук 01.01.1971
    декана факультета вычислительных наук Нью-Йоркского университета, руководителя отдела в Математическом институте им. Куранта, Джекоба Шварца.
  • Письмо Д. Шварц -> А.П. Ершов 18.03.1971
    Автор просит прислать книгу по программированию на русском языке, которую он потерял и которая нужна ему для того, чтобы выполнить просьбу Дж. Маккарти перевести ряд статей.
  • Письмо Ф. Аллен -> А.П. Ершов 17.01.1975
    Автор сообщает, что он и Дж. Шварц примут участие в симпозиуме и что он собирается выступить с докладом. Сожалеет, что не может выслать некоторые обещанные материалы.
  • Письмо Д. Шварц -> А.П. Ершов 19.05.1975
    Излагаются планы поездок Дж. Шварца, Дж. Кока и Ф. Аллена в августе-сентябре 1975 г., включающие участие в новосибирском симпозиуме.
  • Телеграмма Д. Кок -> А.П. Ершов 05.09.1975
    Автор не может быть на симпозиуме.
  • Письмо с приложениями Ф. Самнер -> А.П. Ершов 03.04.1979
    Автор просит А.П. Ершова выяснить у приглашенных докладчиков из СССР и Болгарии, согласны ли они представить доклады. Приложены формы приглашений.
  • Письмо Д. Кок -> А.П. Ершов 26.10.1979
    Автор излагает содержание своего доклада, представляемого на Конгресс ИФИП.
  • Письмо Ф. Самнер -> А.П. Ершов 04.01.1980
    по поводу скорейшего рассмотрения доклада Кока и Маркстейна.
  • Письмо А.П. Ершов -> С. Лавингтон 01.02.1980
    о задержках с рецензированием докладов.
  • Сопроводительное письмо Ч. Фрейман -> Ф. Самнер 11.02.1980
    к исправленной версии доклада Кока и Маркстейна. Сообщается также, что Х. Морган будет выступать.
  • Письмо с приложениями Д. Кок -> А.П. Ершов 21.02.1980
    Сопроводительное письмо к статье Дж. Кока и П. Маркстейна "Measurement of Program Improvement Algorithms", а также рецензии Б. Маркса на эту статью и собственно статья.
  • Письмо с приложением С. Лавингтон -> А.П. Ершов 29.04.1980
    Список рецензентов получен. В приложении - текст письма, посланного соавторам приглашенных докладчиков по поводу способа их упоминания в трудах Конгресса.
  • Рукописная справка 14.10.1980
    на бланке Конгресса с краткими данными о Джоне Коке.
Назад