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

Содержание.
Введение.
Часть I. Некоторые свойства многочленов над конечными полями, зависящих от нескольких переменных
1.1. Основные понятия и формулировка результатов
1.2. Доказательство основной теоремы .
Часть II. Об алгоритмической сложности распознавания свойств дискретных функций .
.1. Основные понятия.
.2. Об алгоритмической сложности распознавания полноты систем булевых функций, представленных полиномами.
.3. Об алгоритмической сложности распознавания принадлежности полиномов функций сзначной логики предполным классам самодвойственных функций .
.4. Об алгоритмической сложности распознавания принадлежности полиномов функций сзначной логики классам функций, сохраняющих рефлексивный и транзитивный предикат .
.5. Об алгоритмической сложности распознавания принадлежности полиномов функций сзначной логики классам функций, сохраняющих тотально рефлексивный и обобщенно транзитивный предикат
Заключение .
Литература