Алгоритмический критерий допустимости правил вывода в модальной логике К4+bw2

Шумкина, Галина Михайловна

View/Open:

diplom_shumkina.pdf (663.5 Kb)

URI (for links/citations):

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

Author:

Шумкина, Галина Михайловна

Scientific Advisor:

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

Corporate Contributor:

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

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

Date:

2017

Bibliographic Citation:

Шумкина, Галина Михайловна. Алгоритмический критерий допустимости правил вывода в модальной логике К4+bw2 [Электронный ресурс] : выпускная квалификационная работа бакалавра : 01.03.01 / Г. М. Шумкина. — Красноярск : СФУ, 2017.

Graduate Speciality:

01.03.01 Математика

Academic Degree or Qualification:

Бакалавр

Collections:

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

Metadata:

Show full item record