Показать сокращенную информацию
Унификация в нетранзитивной временной логике знания с универсальной модальностью
| Научный руководитель | Башмаков, Степан Игоревич | |
| Автор | Зверева, Татьяна Юрьевна | |
| Дата внесения | 2020-10-06T06:24:56Z | |
| Дата, когда ресурс стал доступен | 2020-10-06T06:24:56Z | |
| Дата публикации | 2020 | |
| Библиографическое описание | Зверева, Татьяна Юрьевна. Унификация в нетранзитивной временной логике знания с универсальной модальностью [Электронный ресурс] : выпускная квалификационная работа бакалавра : 01.03.01 / Т. Ю. Зверева. — Красноярск : СФУ, 2020. | |
| URI (для ссылок/цитирований) | https://elib.sfu-kras.ru/handle/2311/137059 | |
| Описание | Текст работы публикуется с изъятиями. | |
| Аннотация | Цель работы – исследование унификации в одной нетранзитивной временной логике знания с универсальной модальностью. В результате исследования выполнено семантическое построения линейной многомодальной логики знания и нетранзитивного времени с универсальной модальностью ULITK, доказаны финитная аппроксимируемость и p-морфность конечных фреймов бесконечным, установлена проективность унификации и её тип, получен вид проективного унификатора для любой унифицируемой формулы в логике ULITK. | |
| Язык | ru_RU | |
| Издатель | Сибирский федеральный университет | |
| Тема | модальные логики | |
| Тема | нетранзитивное время | |
| Тема | унификация | |
| Тема | финитная аппроксимируемость | |
| Тема | неклассические логики | |
| Тема | проективность | |
| Название | Унификация в нетранзитивной временной логике знания с универсальной модальностью | |
| Тип | Thesis | |
| Тип | Bachelor Thesis | |
| Код специальности выпускной работы | 01.03.01 | |
| Учёная степень или квалификация, на которую выполнена работа | Бакалавр | |
| Место издания | Красноярск | |
| ГРНТИ | 27.03.19 | |
| Дата обновления | 2020-10-06T06:24:56Z | |
| Институт | Институт математики и фундаментальной информатики | |
| Подразделение | Кафедра алгебры и математической логики | |
| Специальность выпускной работы | 01.03.01 Математика | |
| Код образовательной программы выпускной работы | 01.03.01.02 | |
| Образовательная программа выпускной работы | 01.03.01.02 Алгебра, теория чисел, математическая логика | |
| Информация о научном руководителе | кандидат физико-математических наук, доцент |
