диссертации "Некоторые вопросы теории алгорифмов, связанные с программированием", представленной на соискание ученой степени кандидата физико-математических наук. /Текст рукописный./

диссертации "Некоторые вопросы теории алгорифмов, связанные с программированием", представленной на соискание ученой степени кандидата физико-математических наук. /Текст машинописный./

на вывоз за границу, относящаяся к докладу О. Рау.

из рабочего плана на 1982-1983 уч. год по специальности "математика" МГУ.

из рабочего плана на 1982-1983 уч. год по специальности "механика" МГУ.

об окончании МГУ по специальности "математика"

о прохождении практики студентов МГУ на базе НГУ.

"Системный подход к оптимизации автоматизированных обучающих систем (АОС)".

сделанные во время дискуссии.

с сообщением, что описание алфавитно-цифрового ввода-вывода отечественных машин можно получить в МГУ.

с просьбой сообщить имена участников конференции по построению программирующих программ на основе языка Алгол-60.

участникам круглого стола.

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

о переносе защиты кандидатской диссертации А.И.Марфина.

о проведении всесоюзного научно-технического совещания по лингвистическим проблемам ИИ 19-23.12.1983.

(№ 5) Ассоциации пользователей машинами М-20 о конференции, посвященной построению программирующих программ на основе языка Алгол.

о научно-исследовательских семинарах по дискретной математике и комбинаторному анализу в Одессе.

о времени проведения и формате всесоюзного научно-технического совещания по проблемам ИИ.

лекций А.А. Маркова по конструктивной математической логике.

составленный при чтении книги С. Клини "Введение в метаматематику".