на Всесоюзную конференцию по прикладной логике.

старшего научного сотрудника Института математики СО АН СССР Д.И.Свириденко для поездки во Францию.

"Как специальные конструкции могут порождаться универсальными процессами смешанных вычислений". /Текст рукописный./

Приглашение принять участие в работе оргкомитета конференции.

Сообщается, что адресат утвержден официальным оппонентом по диссертации А.Д. Коршунова, принятой к защите в ИМ СО АН СССР. Защита состоится в октябре 1986 года. Точная дата будет согласована заранее.

Вычислительная система СУММА для мини-ЭВМ "Электроника-100И".

заседания Ученого совета ИМ СО АН СССР и ВЦ СО АН СССР.

научной командировки заведующего отделом алгорифмов и программирования Института математики СО АН СССР А.П.Ершова в Англию.

Сообщает об утверждении А.П. Ершова официальным оппонентом по докторской диссертации Л.Л. Максимовой. Просит направить в адрес Совета отзыв.

"О системах математического обеспечения электронно-вычислительных машин" /машинописный текст с рукописной правкой/

Хадатайство о включении А.П.Ершова в состав советской делегации на 2-й Конгресс ИФИП, который будет проходить в Мюнхене в августе 1962 г.

заседания Ученого совета ИМ СО АН СССР.

Руководители дипломных и курсовых работ кафедры теоретической кибернетики, являющиеся сотрудниками ИМ СО АН СССР.

на заседание Ученого совета ИМ СО АН СССР.

Оргкомитет представляет программу конференции и инструкцию по оформлению тезисов докладов.

ВЦ СО АН СССР по научно-техническому сотрудничеству по теме VII, подтема I "Теория программирования" на 1986-1987 гг.

официального оппонента о диссертации А.Д. Коршунова "О числе элементов свободной дистрибутивной структуры (о числе монотонных булевых функций)", представленной на соискание ученой степени доктора физико-математических наук. /Машинописный и рукописный тексты./

с предполагаемым названием доклада на Всесоюзной конференции по прикладной логике и временем его прочтения.

Всесоюзной конференции по прикладной логике.

пребывания А.П.Ершова в Англии.