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

Березина, Полина Сергеевна

View/Open:

dissertaciya_2.pdf (327.4 Kb)

URI (for links/citations):

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

Author:

Березина, Полина Сергеевна

Scientific Advisor:

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

Corporate Contributor:

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

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

Date:

2017

Bibliographic Citation:

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

Graduate Speciality:

01.04.01 Математика

Graduate Program:

01.04.01.02 Алгебра, логика и дискретная математика

Academic Degree or Qualification:

Магистр

Collections:

Магистерские диссертации [4085]

Metadata:

Show full item record