Составители:
Рубрика:
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ
А
закон
аксиома 15
ассоциативности 7
алфавит
де-Моргана 7
ленточный 62, 86
для кванторов 26
состояний 62, 86
дистрибутивности 7
арифметизация 75
идемпотентности 7
атом
коммутативности 7
контрапозиции 7
Б
противоположности 8
буква предикатная 24
пронесения кванторов 27
рефлексивности 8
В
симметричности 8
высказывание 3
тождества 7
составное 3, 5
транзитивности 8
универсальное 23
удаления квантора 27
экзистенциональное 23
упрощения 7
вычисления
зона активная 86
символьные 29
недетерминированное 88
И
принимающее 89
импликация 4, 25
вычитание усеченное 64
предикатов 22
инвариант цикла 36
Д
интенсионал 20
детерминированность 59
интерпретация
дизъюнкция 4
формулы 25
предикатов 22
процедурная клауз Хорна 46, 48
элементарная 14
формальной теории 15
доказательство
правильности алгоритмов 28
К
дополнение 18
квантор
всеобщности 23
З
существования 23
задача
класс
коммивояжера 99
NP-полных задач 91
о выполнимости к.н.ф. 85, 91
задач P и NP 88
о полном подграфе 97
функций, вычислимых
о вершинном покрытии 97
по Тьрингу 73
о сложности д.н.ф. 97
ЧР-функций 73
о трехмерном сочетании 97
класс P-языков 87
переборная 85
клауза 40
построения сингулярной
Хорна 46
формы 99
конституента
труднорешаемая 97
единицы 13
универсальная 97
нуля 14
NP-трудная 85
конъюнкция 4, 25
183
Страницы
- « первая
- ‹ предыдущая
- …
- 97
- 98
- 99
- 100
- 101
- …
- следующая ›
- последняя »
