Построение явного базиса допустимых правил вывода для табличных модальных логик ширины 3 глубины 2

View/Open:

vkrs_podpisannym.pdf (604.1 Kb)

URI (for links/citations):

https://elib.sfu-kras.ru/handle/2311/28617

Author:

Бурмакина, Анастасия Сергеевна

Scientific Advisor:

Кияткин, Владимир Ростиславович

Corporate Contributor:

Институт математики и фундаментальной информатики

Кафедра алгебры и математической логики

Date:

2016

Bibliographic Citation:

Бурмакина, Анастасия Сергеевна. Построение явного базиса допустимых правил вывода для табличных модальных логик ширины 3 глубины 2 [Электронный ресурс] : выпускная квалификационная работа бакалавра : 01.03.01 / А. С. Бурмакина. — Красноярск : СФУ, 2016.

Graduate Speciality:

01.03.01 Математика

Academic Degree or Qualification:

Бакалавр

Collections:

• Выпускные квалификационные работы бакалавров и специалистов [20274]

Metadata:

Show full item record