Диссертация соискателя: Лукьянчук Александра Николаевна


Тема:	Временная интранзитивная мульти-агентная логика; алгоритмы разрешимости, правила вывода
Диссертационный совет:	Д 999.040.02
На степень:	кандидата физико-математических наук
Специальность:	01.01.06 Математическая логика, алгебра и теория чисел
Отрасль науки:	физико-математическая
Дата защиты:	25 декабря 2015 года в 11.00 часов
Адрес проведения защиты:	660041, г. Красноярск, пр. Свободный, 79, ауд. Р 8-06

Диссертация (.pdf, 900 КБ) (опубликовано 23.09.2015)
Протокол принятия к защите (.pdf, 100 КБ) (опубликовано 23.10.2015)
Отзыв научного руководителя (.pdf, 1.6 МБ) (опубликовано 23.10.2015)
Автореферат (.pdf, 430 КБ) (опубликовано 23.10.2015)
Отзыв ведущей организации (.pdf, 2.3 МБ) (опубликовано 12.12.2015)
Согласие ведущей организации (.pdf, 1.1 МБ) (опубликовано 12.12.2015)
Отзыв оф. оппонента Яшина (.pdf, 200 КБ) (опубликовано 12.12.2015)
Согласие оф. оппонента Яшина (.pdf, 100 КБ) (опубликовано 12.12.2015)
Отзыв оф. оппонента Юн (.pdf, 1.9 МБ) (опубликовано 12.12.2015)
Согласие оф. оппонента Юн (.pdf, 610 КБ) (опубликовано 12.12.2015)
Протокол в день защиты (.pdf, 810 КБ) (опубликовано 29.12.2015)
Заключение диссовета (.pdf, 2.5 МБ) (опубликовано 29.12.2015)
Информационная справка (.pdf, 2.2 МБ) (опубликовано 11.01.2016)