Документы, связанные с Николай Николаевич Непейвода

  • Доклад Н.Н. Непейвода
    "Преобразования доказательств как преобразования программ" (1-й вариант).
  • Список
    основных научных работ Н.Н. Непейводы (датированных 1973-1979 гг.). /Текст рукописный./
  • Анкета Н.Н. Непейвода
    Н. Н. Непейводы.
  • Статья Н.Н. Непейвода
    "Аналоги смешанных и частичных вычислений в логическом подходе"
  • Доклад Н.Н. Непейвода
    "Преобразования доказательств как преобразования программ" (2-й вариант).
  • Протокол заседания А.П. Ершов 30.07.1976
    № 3 ВНТК (Ленинград, июль 1976).
  • Схема размещения 22.02.1977
    по комнатам участников заседания ВНТК (Ивантеевка, дом отдыха "Спутник").
  • Протокол заседания А.Н. Маслов 28.04.1977
    № 7 ВНТК (Ростов-на-Дону, сентябрь 1977). Приложены материалы заседания: 1) предложение по переводу однобуквенных символов; 2) проект анкеты по проблемам автоматизации программирования.
  • Письмо А.Н. Маслов -> А.П. Ершов 08.07.1977
    Извещается о продлении деятельности ВНТК; осуждается вопрос о преподавании языков программирования; предлагается список для рассылки материалов следующего заседания ВНТК.
  • Письмо с приложениями Б.И. Рамеев -> Г.И. Марчук 21.07.1977
    Сопроводительное письмо к решению Межведомственной комиссии по программному обеспечению о результатах работы, о дальнейших планах, о расширении состава ВНТК.
  • Письмо Н.Н. Непейвода -> А.П. Ершов 17.11.1977
    Посылает две своих статьи и просит адресата сообщить о них свое мнение. Это чрезвычайно важно для автора. /Текст рукописный./
  • Список А.П. Ершов -> А.А. Берс 09.02.1978
    иногородних участников на заседании ВНТК (Новосибирск, февраль 1978).
  • Повестка дня 13.02.1978
    заседания ВНТК (Новосибирск, февраль 1978).
  • Записка Н.Н. Непейвода 22.03.1978
    с темами для семинара по теории программирования.
  • Письмо Н.Н. Непейвода -> А.П. Ершов 19.08.1978
    Краткое резюме об итогах работы (своей и своих учеников) за год над проблемой построения программ; просит встречи для обстоятельного разговора. /Текст рукописный./
  • Сообщение А.Н. Терехов -> А.П. Ершов 12.09.1978
    о заседании Рабочей группы ВНТК. В приложении - выписка из протокола заседания, информационный материал по демонстрации ленинградского транслятора с Алгола 68 и по спецификации стандартного машинного представления русского варианта Алгола 68.

Страницы

Назад