Показать сокращенную информацию
Правила вывода с метапеременными и логические уравнения в табличных и предтабличных модальных логиках
Научный руководитель | Кияткин, Владимир Ростиславович | |
Автор | Березина, Полина Сергеевна | |
Дата внесения | 2017-12-08T07:14:18Z | |
Дата, когда ресурс стал доступен | 2017-12-08T07:14:18Z | |
Дата публикации | 2017 | |
Библиографическое описание | Березина, Полина Сергеевна. Правила вывода с метапеременными и логические уравнения в табличных и предтабличных модальных логиках [Электронный ресурс] : магистерская диссертация : 01.04.01 / П. С. Березина. — Красноярск : СФУ, 2017. | |
URI (для ссылок/цитирований) | https://elib.sfu-kras.ru/handle/2311/68103 | |
Язык | ru_RU | |
Издатель | Сибирский федеральный университет | |
Название | Правила вывода с метапеременными и логические уравнения в табличных и предтабличных модальных логиках | |
Тип | Thesis | |
Тип | Master Thesis | |
Код специальности выпускной работы | 01.04.01 | |
Учёная степень или квалификация, на которую выполнена работа | Магистр | |
Место издания | Красноярск | |
ГРНТИ | 27.03.19 | |
Дата обновления | 2017-12-08T07:14:18Z | |
Институт | Институт математики и фундаментальной информатики | |
Подразделение | Кафедра алгебры и математической логики | |
Специальность выпускной работы | 01.04.01 Математика | |
Код образовательной программы выпускной работы | 01.04.01.02 | |
Образовательная программа выпускной работы | 01.04.01.02 Алгебра, логика и дискретная математика | |
Информация о научном руководителе | кандидат физико-математических наук, доцент |
Файлы в этом документе
Данный элемент включен в следующие коллекции
-
Магистерские диссертации [3962]