Семинар посвящен различным вопросам интуиционистских, модальных, временных и многоагентных, многозначных логик и их применения в области AI и CS.

Наибольший интерес участников представляют проблемы унификации, аксиоматизации, разрешимости, допустимости, структурной полноты, логического вывода с операторами знания и времени. Исследуются алгоритмы выполнения расчетов и логического следования в многомодальных логиках.

Основным инструментом исследования логик для нас является реляционная семантика Крипке-Хинтикка, в том числе обобщенная для многомодальных и мульзиозначиваемых случаев. Применяются и развиваются теоретико-модельные подходы, а также алгебраическая семантика.

На заседаниях научного семинара «Неклассические логики» планируются доклады членов коллектива, а также приглашенных специалистов, реферирование научных статей, обсуждение задач. Приглашаются заинтересованные студенты всех курсов и специальностей, преподаватели.

Начиная с осеннего семестра 2018-2019 уч. г. заседания семинара разделены на 2 категории - по сложности и содержанию:
- Образовательный: не предполагает глубоких знаний в области и предназначается, в первую очередь, для заинтересованных студентов и аспирантов.
- Научный: предполагает изначальные знания теории области исследования и ее современного состояния. Предусматривает обсуждение текущих научных задач, стоящих перед коллективом.

В объявлении каждого заседания будет устанавливаться соответствующий тег.

Руководитель семинара:
Рыбаков Владимир Владимирович,
проф., д-р физ.-мат.наук, профессор кафедры алгебры и математической логики
контакты: (391) 206-20-76, e-mail: vrybakov@sfu-kras.ru

Секретарь семинара: Башмаков Степан Игоревич, доцент кафедры алгебры и математической логики
контакты: (391) 246-99-22, e-mail: sbashmakov@sfu-kras.ru

Регулярные участники семинара:
Голованов Михаил Иванович, доцент, канд. физ.-мат.наук, доцент базовой кафедры вычислительных и информационных технологий ИМиФИ СФУ
Римацкий Виталий Валентинович, доцент, канд. физ.-мат.наук, доцент базовой кафедры вычислительных и информационных технологий ИМиФИ СФУ
Кияткин Владимир Ростиславович, доцент, канд. физ.-мат.наук, доцент кафедры алгебры и математической логики ИМиФИ СФУ
Бабенышев Сергей Валерьевич, канд. физ.-мат.наук, PhD, профессор кафедры физики, математики и информационных технологий Сибирской пожарно-спасательной академии ГПС МЧС России (г. Железногорск)
Кошелева Анна Владимировна, канд. физ.-мат.наук, доцент кафедры прикладной математики и компьютерной безопасности ИКИТ СФУ
Марковская Ирина Александровна, студент магистратуры
Зверева Татьяна Юрьевна, студент бакалавриата

В настоящее время семинар работает не еженедельно, по предварительной договорености, по адресу: пр. Свободный, 79, Институт математики и фундаментальной информатики СФУ.
Следите за обновлениями на сайте.

Расписание работы семинара