Оглавление
Введение .
Глава 1. Проверяющие тесты для функций, бесповториых
в классических базисах
1.1. Основные определения и обозначения.
1.2. Тестирование в бинарном базисе.
1.3. Тестирование в элементарном базисе
1.4. Тестирование в базисе из конъюнкции и дизъюнкции.
Глава 2. Проверяющие тесты для функций, бесповториых в произвольных базисах
2.1. Основные определении и обозначения.
2.2. Тестирование в базисе всех функций пяти переменных
2.3. Опровержение гипотезы подфункции.
2.4. Функции наименьшей тестовой сложности .
Глава 3. Диагностические тесты для бесповториых функций
3.1. Основные определения и обозначения.
3.2. Тестирование с запросами тождественности
3.3. Тестирование с запросами числа единиц по модулю два . . .
3.4. Тестирование с запросами двух младших бит числа единиц .
Заключение .
Литература
- Київ+380960830922