Показать сокращенную информацию
Построение явного базиса допустимых правил вывода для табличных модальных логик ширины 3 глубины 2
Научный руководитель | Кияткин, Владимир Ростиславович | |
Автор | Бурмакина, Анастасия Сергеевна | |
Дата внесения | 2016-11-22T05:52:08Z | |
Дата, когда ресурс стал доступен | 2016-11-22T05:52:08Z | |
Дата публикации | 2016 | |
Библиографическое описание | Бурмакина, Анастасия Сергеевна. Построение явного базиса допустимых правил вывода для табличных модальных логик ширины 3 глубины 2 [Электронный ресурс] : выпускная квалификационная работа бакалавра : 01.03.01 / А. С. Бурмакина. — Красноярск : СФУ, 2016. | |
URI (для ссылок/цитирований) | https://elib.sfu-kras.ru/handle/2311/28617 | |
Язык | ru_RU | |
Издатель | Сибирский федеральный университет | |
Название | Построение явного базиса допустимых правил вывода для табличных модальных логик ширины 3 глубины 2 | |
Тип | Thesis | |
Тип | Bachelor Thesis | |
Код специальности выпускной работы | 01.03.01 | |
Учёная степень или квалификация, на которую выполнена работа | Бакалавр | |
Место издания | Красноярск | |
ГРНТИ | 27.03 | |
Дата обновления | 2016-11-22T05:52:08Z | |
Институт | Институт математики и фундаментальной информатики | |
Подразделение | Кафедра алгебры и математической логики | |
Специальность выпускной работы | 01.03.01 Математика | |
Информация о научном руководителе | кандидат физико-математических наук, доцент |