В.Н. Редько "Теоретические проблемы программирования. Программы и программные композиции."

Маккарти Дж. "Новые результаты в математической теории вычислений"; Редько В.Н. "Параметрические грамматики"; Фуксман А.Л. "О некоторых свойствах формальных грамматик"; Тузов В.А. "Проблемы разрешения для граф-схем с перестановочными операторами"; Непомнящий В.А. "Об одном методе распознавания эквивалентности схем программ и дискретных преобразований"; Гонца М. Г., Маричук М.Н. "Параметрически управляемый синтаксический контроль и анализ языков программирования"

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

Сообщает, что работа представлена к защите; указывает назначенный срок.

Официальное уведомление о принятии к защите докторской диссертации В.Н. Редько; просьба дать предварительный отзыв.

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

Просьба выслать отзыв на домашний адрес.

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

Просьба предоставить места в гостинице иногородним участникам Технического совещания по системам построения трансляторов согласно списку.

Автор с благодарностью принимает предложение выступить на конференции по программированию с докладом "Параметрические системы программирования", а также приглашение на симпозиум "Новые алгоритмические языки". /Текст рукописный./

Просьба выслать на имя В.М. Глушкова приглашение выступить с докладом.

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

Рассказывает о структурных изменениях в своем институте, о своей работе и поездке в Польшу. Просит подтвердить согласие быть научным редактором книги по транслятору и участвовать в комиссии по его приемке. /Текст рукописный./

Официальное извещение о защите диссертации В.Н. Редько.

Сообщение о передаче в подарок книги; обсуждение ближайших научных планов.

размещения участников конференции в ДО "Жилвинас" (состояние на 3 сентября).

Президиума АН СССР "О составе редакционной коллегии журнала "Программирование" (представление Отделения математики)".

"Об утверждении состава Научно-методического совета по прикладной математике". Даны списки членов Президиума Совета и всех его секций.