Документы, связанные с Сергей Савостьянович Гончаров

Отзыв, 21.09.1987
официального оппонента на докторскую диссертацию В.В. Рыбакова "Допустимость правил вывода в модальных и суперинтуиционистских логиках" (специальность 01.01.06).
Отчет рецензента, 15.05.1985
на статью "Semantics of a Declarative Language".
Постановление, 01.06.1988
Президиума СО АН СССР "О составе Объединенного ученого совета по математике и информатике СО АН СССР" и Приложение к нему.
Отзыв, 20.02.1986
на работу А.Г. Мясникова "Элементарные теории и абстрактные изоморфизмы конечных алгебр и унипотентных групп".
Приказ, 22.10.1982
"Об утверждении специализированного совета по защите диссертаций ученой степени доктора наук при Институте математики СО АН СССР".
Повестка, С. Л. Соболев->А.П. Ершов..., 06.05.1976
заседаний Учёного совета ИМ СО АН СССР.
Отзыв, 10.01.1987
на работу Н.Н. Непейводы "Некоторые пропозициональные конструктивные логики схем программ".
Отчет, 10.11.1985
по теме VII советско-французского сотрудничества по проблеме "Информатика".
Письмо, С. С. Гончаров->А.П. Ершов, 12.10.1987
Извиняется за задержку с отзывом на статью М.И. Кановича. Говорит, что работа интересная и заслуживает публикации. Высказывает некоторые замечания. /Текст рукописный./

По порядку | По алфавиту | По дате


Назад

Switch to English | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016