к вступительному слову Председателя программного комитета международной научно-технической конференции "Программное обеспечение ЭВМ" в день ее открытия.

на рукопись учебного пособия "Основы информатики...", Ч. 2.

на рукопись 03-КИ.

Благодарность за подарок.

Благодарит за книгу о феномене деловой прозы и методе автоматического анализа русского языка для получения машинного фонда; выражает желание установить систематическое сотрудничество.

"Проблемы эксплуатации Электроники НЦ-80".

Выражает благодарность за отзыв; обещает выслать текст диссертации. /Текст рукописный./

о проблемах, возникающих при разработке оптимизирующих систем программирования.

с сообщением о звонке из Калинина, где требуется решить ряд организационных вопросов конференции.

на продление подписки на журнал "IBM Systems Journal".

с вопросом о перспективности направления, развиваемого фирмой Барроуз.

с вопросом о применимости методов доказательства завершаемости программы для решения теоремы Ферма.

о предмете разговора с Монаховым. Об этом просил напомнить Андрей Петрович. /Текст рукописный./

с выражением глубокой признательности за участие в подготовке Шестой международной конференции по технологии программирования.

к статье для направления ее в ДАН СССР.

с информацией о специалисте-медике

с вопросом о проблеме доказательства корректности программы.

с вопросом о правомерности сравнения работы программиста по проектированию программы с "аппаратной" техникой.

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

О выводах после подробного анализа задания, определенного в октябре 1979 г. в Москве относительно мини-ЭВМ МЕРА-200 для системы РУБИН; просьба срочно выразить мнение по их поводу.