Показать сокращенную информацию
Аксиоматизация некоторых табличных GL-логик
Научный руководитель | Голованов, Михаил Иванович | |
Автор | Марковская, Ирина Александровна | |
Дата внесения | 2017-12-08T07:15:05Z | |
Дата, когда ресурс стал доступен | 2017-12-08T07:15:05Z | |
Дата публикации | 2017 | |
Библиографическое описание | Марковская, Ирина Александровна. Аксиоматизация некоторых табличных GL-логик [Электронный ресурс] : выпускная квалификационная работа бакалавра : 02.03.01 / И. А. Марковская. — Красноярск : СФУ, 2017. | |
URI (для ссылок/цитирований) | https://elib.sfu-kras.ru/handle/2311/68112 | |
Аннотация | Целью данной работы является построение некоторых замкнутых классов фреймов глубины 3 и ширины 3 для модальной логики Гёделя-Лёба и их аксиоматизация. В результате исследований построены формулы, которые в совокупности с аксиомами логики Гёделя-Лёба и формулами глубины и ширины, задают логику каждого из построенных замкнутых классов. Сформулированы и доказаны теоремы об аксиоматизации рассмотренных табличных расширений логики Гёделя-Лёба. | |
Язык | ru_RU | |
Издатель | Сибирский федеральный университет | |
Тема | АКСИОМАТИЗАЦИЯ | |
Тема | НЕСТАНДАРТНАЯ ЛОГИКА | |
Тема | ЗАМКНУТЫЙ КЛАСС | |
Тема | ИРРЕФЛЕКСИВНОЕ ОТНОШЕНИЕ | |
Тема | ТРАНЗИТИВНОЕ ОТНОШЕНИЕ | |
Название | Аксиоматизация некоторых табличных GL-логик | |
Тип | Thesis | |
Тип | Bachelor Thesis | |
Код специальности выпускной работы | 02.03.01 | |
Учёная степень или квалификация, на которую выполнена работа | Бакалавр | |
Место издания | Красноярск | |
ГРНТИ | 27.03.19 | |
Дата обновления | 2017-12-08T07:15:05Z | |
Институт | Институт математики и фундаментальной информатики | |
Подразделение | Базовая кафедра вычислительных и информационных технологий | |
Специальность выпускной работы | 02.03.01 Математика и компьютерные науки | |
Информация о научном руководителе | кандидат физико-математических наук, доцент |