Регистрация




Ссылка на сайт:
Аннотация выпускной квалификационной работы бакалавра Гибридные логики с сильным отрицанием

Новосибирский государственный университет

Механико-математический факультет

Кафедра дискретной математики и информатики

Аннотация

выпускной квалификационной работы бакалавра

Гибридные логики с сильным отрицанием

Студент: Каушан Кристина Андреевна
Научный руководитель: Одинцов Сергей Павлович

Дипломная работа посвящена гибридным логикам с сильным отрицанием. Была введена гибридная версия белнаповской модальной логики: автор определил ее семантически, построил ее точное вложение в логику Бройнера, ввел гильбертовскую аксиоматическую систему и доказал полноту данной системы относительно ее семантики. С помощью модификации трансляции, описанной Торбеном Бройнером, было получено вложение гибридной версии белнаповской модальной логики в нестандартную логику первого порядка. В ходе работы автор определил исчисление естественного вывода и доказал теоремы корректности и полноты.



Пожаловаться

Материал из рубрики: Бакалавраты
5
рейтинг рассчитывается на оценке от 1 до 5

Мои другие материалы