Критериальная система неявно предполных классов в трехзначной логике Стартостин Михаил Васильевич

Краткое описание

Старостин, Михаил Васильевич.
Критериальная система неявно предполных классов в трехзначной логике : диссертация ... кандидата физико-математических наук : 01.01.09 / Старостин Михаил Васильевич; [Место защиты: Московский государственный университет имени М.В. Ломоносова]. - Москва, 2021. - 133 с.
Оглавление диссертациикандидат наук Стартостин Михаил Васильевич
2.2.1 Классы типа Ш
2.2.2 Классы типа У
2.3 Классы типа Е
2.3.1 Классы функций, сохраняющих подмножество
2.3.2 Классы функций, сохраняющих разбиение
2.4 Классы монотонных функций
2.4.1 Классы типа КМ
2.4.2 Классы типа И,
2.4.3 Классы типа Q
2.4.4 Классы типа Г
2.5 Класс квазилинейных функций
3 Полнота описания
3.1 Классы без констант
3.2 Классы с одной константой
3.3 Классы с двумя константами
3.4 Классы с тремя константами
3.4.1 Классы типа и
3.4.2 Классы типа М
3.4.3 Классы типа Т1
3.4.4 Класс Ь
3.4.5 Класс Слупецкого
3.5 Основные результаты
Заключение
Список литературы
Введение