Диссертация соискателя: Башмаков Степан Игоревич


Тема:	Временные многоагентные логики и проблема унификации
Диссертационный совет:	Д 212.099.25
На степень:	кандидата физико-математических наук
Специальность:	01.01.06 Математическая логика, алгебра и теория чисел
Отрасль науки:	физико-математическая
Дата защиты:	02 марта 2018 года в 16.00 часов
Адрес проведения защиты:	660041, г. Красноярск, пр. Свободный, 79, ауд. Б1-01

Диссертация (.pdf, 1.4 МБ) (опубликовано 09.11.2017)
Протокол принятия к защите (.pdf, 1 МБ) (опубликовано 22.12.2017)
Отзыв научного руководителя (.pdf, 910 КБ) (опубликовано 22.12.2017)
Автореферат (.pdf, 370 КБ) (опубликовано 27.12.2017)
Сведения о ведущей организации (.pdf, 2.2 МБ) (опубликовано 15.02.2018)
Отзыв ведущей организации (.pdf, 3.1 МБ) (опубликовано 15.02.2018)
Сведения об официальном оппоненте Одинцове С.П. (.pdf, 1.5 МБ) (опубликовано 15.02.2018)
Отзыв официального оппонента Одинцова С.П. (.pdf, 1.7 МБ) (опубликовано 15.02.2018)
Сведения об официальном оппоненте Перязеве Н.А. (.pdf, 1.6 МБ) (опубликовано 15.02.2018)
Отзыв официального оппонента Перязева Н.А. (.pdf, 1.3 МБ) (опубликовано 15.02.2018)
Протокол в день защиты (.pdf, 1.3 МБ) (опубликовано 07.03.2018)
Информационная справка (.pdf, 3.3 МБ) (опубликовано 12.03.2018)
Заключение диссертационного совета (.pdf, 5.3 МБ) (опубликовано 12.03.2018)