Составители:
Рубрика:
предиката 20 предикатов 22
сложность временнáя 86
способ кодирования 86
Я
степень декартова 19
язык
схема ветвей и границ 98
над алфавитом 86
логического
Т
программирования 48
тавтология 6 NP-полный 91
"тезис Черча" 60 Prolog 48
теорема 15
теория
алгоритмов прикладная 60
полная 14
противоречивая 15
формальная 14
терм 39
трассировка 29
Ф
формула
атомарная 39
Блейка – Порецкого 10
исчисления высказываний 6
истинная при любой
интерпретации 27
исчисления предикатов 24
ложная при любой
интерпретации 27
общезначимая 27
правильно построенная 14
противоречивая 27
равносильная 9
тождественно истинная 6
функция
константы ноль 70
общерекурсивная 72
примитивно-рекурсивная 70
программная 29
словарная 63
следования 70
частично-рекурсивная 72, 75
характеристическая 82
Ц
цикл гамильтонов 99
Э
эквивалентность 5, 25
103
