|
А
Аксиома:
определение
аксиомы ИВ (A1, A2, A3)
аксиомы ИП (P1, P2)
Алгоритм
Алфавит МТ:
внутренний
внешний
В
Внутренняя память МТ
Высказывание
Г
Гипотеза вывода
Д
Дедукция
Дизъюнкция (V)
З
Задача:
алгоритмически разрешимая
алгоритмически неразрешимая
Закон:
двойного отрицания
де Моргана
дистрибутивности
ограничения действия
коммутативности
ассоциативности
идемпотентности
нуля и единицы
поглощения
противоречия
исключенного третьего
И
Импликация (->)
К
Квантор:
всеобщности
существования
коммутация одноименных кванторов
Конъюнкция (&)
Л
Логическое следствие (=>)
М
Метод:
тривиальный
алгебраический
Куайна
редукции
резолюций
О
Одноленточная МТ
Операция минимизации функции
Отрицание
П
Правило:
отделения (Modus Ponens)
введения импликации
|
Правило (продолжение):
транзитивности
сечения
резолюции
существования
обобщения
индивидуализации
Предваренная форма
Предикат:
определение
равносильные предикаты
ИП первого порядка
Принцип суперпозиции
Приоритет операций
Проблема:
останова
самоприменимости
Пустой символ
C
Состояние МТ:
начальное
текущее (конфигурация)
заключительное
T
Таблица истинности
Тавтология
Тезис:
Тьюринга
Черча-Клини
Теорема:
определение
дедукции
о приведении к предваренной форме
Термы
У
Управляющая головка (МТ)
Ф
Формальная аксиоматическая теория:
теория Т
теория L
полная
непротиворечивая
независимая
разрешима
полуразрешима
Формула:
определение
ложная
опровержимая
вывод
пустая
вывод в ИВ
определение в ИП
общезначимая
Функция:
базовая (простейшая)
примитивно рекурсивная (п.р.ф)
частично рекурсивная (ч.р.ф)
общерекурсивная
интуитивно вычислимая
частично опред. арифметическая (ч.а.ф)
Э
Эквиваленция
|