Явный базис допустимых правил вывода табличных логик

Скачать файл:
URI (для ссылок/цитирований):
https://elib.sfu-kras.ru/handle/2311/68111
Автор:
Моор, Михаил Александрович
Научный руководитель:
Римацкий, Виталий Валентинович
Коллективный автор:
Институт математики и фундаментальной информатики
Кафедра алгебры и математической логики
Дата:
2017
Библиографическое описание:
Моор, Михаил Александрович. Явный базис допустимых правил вывода табличных логик [Электронный ресурс] : магистерская диссертация : 01.04.01 / М. А. Моор. — Красноярск : СФУ, 2017.
Специальность выпускной работы:
01.04.01 Математика
Образовательная программа выпускной работы:
01.04.01.02 Алгебра, логика и дискретная математика
Учёная степень или квалификация, на которую выполнена работа:
Магистр
Коллекции:
Метаданные:
Показать полную информацию