"Аналоги смешанных и частичных вычислений в логическом подходе"

"Преобразования доказательств как преобразования программ" (2-й вариант).

"Преобразования доказательств как преобразования программ" (1-й вариант).

основных научных работ Н.Н. Непейводы (датированных 1973-1979 гг.). /Текст рукописный./

Н. Н. Непейводы.

с приглашением принять участие в заседании Рабочей группы ГКНТ по Алголу 68 в качестве наблюдателя.

№ 3 ВНТК (Ленинград, июль 1976).

по комнатам участников заседания ВНТК (Ивантеевка, дом отдыха "Спутник").

№ 7 ВНТК (Ростов-на-Дону, сентябрь 1977). Приложены материалы заседания: 1) предложение по переводу однобуквенных символов; 2) проект анкеты по проблемам автоматизации программирования.

Извещается о продлении деятельности ВНТК; осуждается вопрос о преподавании языков программирования; предлагается список для рассылки материалов следующего заседания ВНТК.

Сопроводительное письмо к решению Межведомственной комиссии по программному обеспечению о результатах работы, о дальнейших планах, о расширении состава ВНТК.

Посылает две своих статьи и просит адресата сообщить о них свое мнение. Это чрезвычайно важно для автора. /Текст рукописный./

Сообщает о планируемом симпозиуме и просит назвать несколько глобальных проблем для программы; ответ Н.Н. Непейводы на том же листочке.

иногородних участников на заседании ВНТК (Новосибирск, февраль 1978).

заседания ВНТК (Новосибирск, февраль 1978).

с темами для семинара по теории программирования.

Краткое резюме об итогах работы (своей и своих учеников) за год над проблемой построения программ; просит встречи для обстоятельного разговора. /Текст рукописный./

в ответ на многочисленные вопросы и письма адресата - встреча возможна в январе будущего года.

о заседании Рабочей группы ВНТК. В приложении - выписка из протокола заседания, информационный материал по демонстрации ленинградского транслятора с Алгола 68 и по спецификации стандартного машинного представления русского варианта Алгола 68.

Автор рассказывает о своей диссертации, в которой рассматриваются вопросы экономии памяти. Просит разрешения прислать автореферат и посылает свою статью.