Математическая логика и теория алгоритмов

Предметный указатель

| оглавление |

 

       А

       Аксиома:
              определение
              аксиомы ИВ (A1, A2, A3)
              аксиомы ИП (P1, P2)

       Алгоритм

       Алфавит МТ:
              внутренний
              внешний

       В

       Внутренняя память МТ

       Высказывание

       Г

       Гипотеза вывода

       Д

       Дедукция

       Дизъюнкция (V)

       З

       Задача:
              алгоритмически разрешимая
              алгоритмически неразрешимая

       Закон:
              двойного отрицания
              де Моргана
              дистрибутивности
              ограничения действия
              коммутативности
              ассоциативности
              идемпотентности
              нуля и единицы
              поглощения
              противоречия
              исключенного третьего

       И

       Импликация (->)

       К

       Квантор:
              всеобщности
              существования
              коммутация одноименных кванторов

       Конъюнкция (&)

       Л

       Логическое следствие (=>)

       М

       Метод:
              тривиальный
              алгебраический
              Куайна
              редукции
              резолюций

       О

       Одноленточная МТ

       Операция минимизации функции

       Отрицание

       П

       Правило:
              отделения (Modus Ponens)
              введения импликации

       Правило (продолжение):
              транзитивности
              сечения
              резолюции
              существования
              обобщения
              индивидуализации

       Предваренная форма

       Предикат:
              определение
              равносильные предикаты
              ИП первого порядка

       Принцип суперпозиции

       Приоритет операций

       Проблема:
              останова
              самоприменимости

       Пустой символ

       C

       Состояние МТ:
              начальное
              текущее (конфигурация)
              заключительное

       T

       Таблица истинности

       Тавтология

       Тезис:
              Тьюринга
              Черча-Клини

       Теорема:
              определение
              дедукции
              о приведении к предваренной форме

       Термы

       У

       Управляющая головка (МТ)

       Ф

       Формальная аксиоматическая теория:
              теория Т
              теория L
              полная
              непротиворечивая
              независимая
              разрешима
              полуразрешима

       Формула:
              определение
              ложная
              опровержимая
              вывод
              пустая
              вывод в ИВ
              определение в ИП
              общезначимая

       Функция:
              базовая (простейшая)
              примитивно рекурсивная (п.р.ф)
              частично рекурсивная (ч.р.ф)
              общерекурсивная
              интуитивно вычислимая
              частично опред. арифметическая (ч.а.ф)

       Э

       Эквиваленция


| оглавление |