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