Показать сокращенную информацию

Голованов, Михаил Иванович
Марковская, Ирина Александровна
2019-10-07T05:26:40Z
2019-10-07T05:26:40Z
2019
Марковская, Ирина Александровна. Аксиоматизация табличных логик Гёделя-Лёба [Электронный ресурс] : магистерская диссертация : 02.04.01 / И. А. Марковская. — Красноярск : СФУ, 2019.
https://elib.sfu-kras.ru/handle/2311/125692
Магистерская диссертация по теме <<Аксиоматизация табличных логик Гёделя-Лёба>> представляет собой исследование в области неклассических модальных логик. Интерес к данной теме обусловлен проблемой алгоритмической неразрешимости задачи аксиоматизации непротиворечивых табличных нормальных модальных логик. Целью работы являлась аксиоматизация табличных логик Гёделя-Лёба, порождённых замкнутыми классами корневых фреймов глубины 3 и ширины 3, порядка 7. Для достижения данной цели были поставлены следующие задачи: построение всех корневых фреймов глубины 3 и ширины 3, порядка 7, построение замкнутых классов полученных фреймов и дальнейшая их аксиоматизация. В результате исследований построены формулы, которые в совокупности с аксиомами логики Гёделя-Лёба и формулами глубины и ширины, задают логику каждого из построенных замкнутых классов.
ru_RU
Сибирский федеральный университет
Аксиоматизация
модальная логика
логика Гёделя-Лёба
иррефлексивное отношение
транзитивное отношение
Аксиоматизация табличных логик Гёделя-Лёба
Thesis
Master Thesis
02.04.01
Магистр
Красноярск
27.03
2019-10-07T05:26:40Z
Институт математики и фундаментальной информатики
Базовая кафедра вычислительных и информационных технологий
02.04.01 Математика и компьютерные науки
02.04.01.01
02.04.01.01 Математическое и компьютерное моделирование
кандидат физико-математических наук, доцент


Файлы в этом документе

Thumbnail

Данный элемент включен в следующие коллекции

Показать сокращенную информацию