Составители:
Рубрика:
подстановки 70
предикатов 21
примитивной рекурсии 69
элементарная 13
конфигурация машины
Тьюринга 62
операция
Л
минимизации 74
рекурсии 73
логика
суперпозиции 73
высказываний 3
отношение
клаузальная 40
бинарное 19
классическая 37
логического следования 12
модальная 54
отрицание 4, 25
нечеткая 57
предиката 21
предикатов 17
пропозициональная 3
П
стандартная 37
переменная
темпоральная 57
индивидная 3
Хоара 28
предметная 17, 24
М
связанная 24
свободная 25
массовость 59
пересечение 18
машина
подстановка согласующая 46
вывода 46
посылка 5
самоприменимая 83
правило
Тьюринга 61
вывода 14, 46
детерминированная 86
поглощения 10
недетерминированная 88
склеивания 10
метод
цепного заключения 8
Геделя 81
предикат 19
резолюций 46
выполнимый 20
множество
равносильный 20
истинности 20
тождественно истинный 20
нечеткое 56
тождественно ложный 20
рекурсивное 82
проблема останова 60, 83
рекурсивно-перечислимое 82
программа логическая 46
произведение декартово 18
Н
неразрешимость алгоритмическая 59
Р
нотация предикатов
разность множеств 18
инфиксная 38
разрешимость алгоритмическая 59
префиксная 37
результативность 59
нумерация машин Тьюринга 81
рекурсия 69
О
С
объединение 18
сводимость полиномиальная 90
оператор
с.д.н.ф. 14
возможности 54
система рекурсивных функций 74
минимизации 71
сигнум и антисигнум 71
модальный 54
следствие 5
необходимости 54
102
Страницы
- « первая
- ‹ предыдущая
- …
- 98
- 99
- 100
- 101
- 102
- следующая ›
- последняя »
