диссертации на соискание ученой степени доктора математических наук А. Раденски "Функциональное программирование: FP-системы, замедленные вычисления и недетерминизм".

из протокола объединенного заседания семинаров ВЦ СО АН СССР, НФ ИТМ и ВТ АН СССР и НГУ с заключением о докторской диссертации В.Н. Касьянова "Оптимизирующие преобразования программ и их обоснование методами теории крупноблочных схем".

о диссертации Д.А. Корягина "Вопросы системного обеспечения пакетов программ для задач вычислительной физики".

объединенного заседания семинаров "Системное программирование", "Теоретическое программирование" и "Оптимизация и преобразование программ" о диссертации В.Н. Касьянова.

к тексту диссертации А.В. Анисимова. /Черновик./

на автореферат А. Раденски "Функциональное программирование: FP-системы, замедленные вычисления и недетерминизм". /Текст рукописный и машинописный./

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

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

официального оппонента о работе Э.З. Любимского "Возможности и принципы построения операционной системы для БЭСМ-6 /ОС ИПМ/", представленной на соискание ученой степени доктора физико-математических наук.

на автореферат диссертации С.И. Баранова "Методы проектирования управляющих автоматов по граф-схемам алгоритмов", представленной на соискание ученой степени доктора технических наук.

на автореферат диссертации Ю.В. Капитоновой "Вопросы проектирования вычислительных машин и специальных систем математического обеспечения".

на автореферат докторской диссертации Ю.В. Капитоновой "Вопросы проектирования вычислительных машин и специальных систем математического обеспечения".

о диссертации В.П. Ширикова "Математическое обеспечение системы машин измерительно-вычислительного комплекса ОИЯИ", представленной на соискание ученой степени доктора физико-математических наук.

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

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

о научной деятельности старшего инженера Института прикладной математики С.С. Камынина для присуждения ему ученой степени доктора физико-математических наук гонорис кауза.

на автореферат диссертации С.Б. Погребинского "Разработка и обследование малых ЭВМ..."

официальный о диссертации В.М. Брябрина "Исследование и реализация систем диалогового взаимодействия человека и ЭВМ".

официального оппонента о диссертации И.С. Ладенко, представленной на соискание ученой степени доктора философских наук.

о диссертации Ю.А. Шрейдера "Гносеологические особенности современной науки в свете системного подхода".