О свойствах полиномов над конечными полями и об алгоритмической сложности распознавания свойств функций многозначных логик, представленных полиномами Селезнева, Светлана Николаевна

Короткий опис

Селезнева, Светлана Николаевна.
О свойствах полиномов над конечными полями и об алгоритмической сложности распознавания свойств функций многозначных логик, представленных полиномами : диссертация ... кандидата физико-математических наук : 01.01.09. - Москва, 2000. - 61 с.
Оглавление диссертациикандидат физико-математических наук Селезнева, Светлана Николаевна
Введение.
Часть I. Некоторые свойства многочленов над конечными полями, зависящих от нескольких переменных
1.1. Основные понятия и формулировка результатов.
1.2. Доказательство основной теоремы
Часть II. Об алгоритмической сложности распознавания свойств дискретных функций
11.1. Основные понятия.
11.2. Об алгоритмической сложности распознавания полноты систем булевых функций, представленных полиномами.
11.3. Об алгоритмической сложности распознавания принадлежности полиномов функций fc-значной логики предполным классам самодвойственных функций
11.4. Об алгоритмической сложности распознавания принадлежности полиномов функций к-значной логики классам функций, сохраняющих рефлексивный и транзитивный предикат
11.5. Об алгоритмической сложности распознавания принадлежности полиномов функций fc-значной логики классам функций, сохраняющих тотально рефлексивный и обобщенно транзитивный предикат