- •Содержание
- •1 Элементы теории множеств. Комбинаторика. 5
- •Математическая логика: Булева аллгебра 88
- •Теория алгоритмов 129
- •Теория графов 162
- •Математическая логика: Исчисления высказываний и предикатов 207
- •Элементы теории множеств. Комбинаторика.
- •Введение
- •Примеры задач.
- •Задача о расположении конвертов
- •Задача о Ханойской башне
- •Базовые обозначения
- •Правило суммы и правило произведения
- •Основы теории множеств
- •Понятие множества
- •Парадокс Рассела
- •Подмножества
- •Операции над множествами
- •Диаграммы Эйлера-Венна
- •Прямое произведение множеств
- •Бинарные отношения и функции
- •Бинарные отношения
- •Функции
- •Специальные бинарные отношения: Отношение эквивалентности
- •Специальные бинарные отношения: Отношение порядка
- •Лексикографический порядок
- •Выборки с повторениями и без повторений
- •Размещения и сочетания
- •Треугольник Паскаля
- •Связь сочетаний и (0,1)-векторов
- •Перебор сочетаний
- •Бином Ньютона
- •Мультимножества
- •Связь мультимножеств и (0,1)-векторов
- •Полином Ньютона
- •Разбиения множеств.
- •Приложение: программа перебора сочетаний
- •Перестановки
- •Понятие перестановки
- •Группа перестановок
- •Циклы перестановки
- •Тип перестановки
- •Разложения и разбиения натуральных чисел
- •Разложения натуральных чисел
- •Разбиения натуральных чисел
- •Принцип включения-исключения
- •Принцип включения-исключения
- •Задача о беспорядках
- •Мощность объединения множеств
- •Число целочисленных решений системы неравенств
- •Математическая логика: Булева аллгебра
- •Булева алгебра. Функции алгебры логики.
- •Булевы функции
- •Формулы
- •Основные тождества
- •Разложение функции по переменным
- •Дизъюнктивная и конъюнктивная нормальные формы
- •Полином Жегалкина
- •1 ⊕ X1 ⊕ x2x3 - полином Жегалкина.
- •Полнота системы функций
- •Функции, сохраняющие ноль
- •Функции, сохраняющие единицу
- •Двойственность
- •Монотонность
- •Линейность
- •Критерий полноты системы функций
- •Теория алгоритмов
- •Машины Тьюринга
- •Понятие алгоритма
- •Машина Тьюринга
- •Способы записи машины Тьюринга
- •Стандартные конфигурации
- •Вычислимые функции
- •Алгоритмически неразрешимые задачи
- •Сложность алгоритма
- •Полиномиальная сводимость
- •Классы задач в форме распознавания свойств
- •4 Теория графов
- •4.1 Определения графа
- •Общее определение
- •Виды графов
- •Обыкновенный граф
- •Примеры графов
- •Графы Бержа
- •4.2 Изоморфизм графов
- •4.2.1 Инварианты графа
- •Операции
- •Основные операции над графами
- •Подграфы
- •Дополнение графа
- •Маршруты и связность
- •Деревья
- •Матрицы, связанные с графом
- •Матрица смежности
- •Матрица инцидентности
- •Список ребер
- •Обходы графов
- •Эйлеров цикл
- •Гамильтонов цикл
- •Задачи и алгоритмы
- •Остов минимального веса
- •Алгоритм 4.8.1 (Алгоритм Краскала).
- •Задача коммивояжера
- •Задача о клике
- •Задача о вершинном покрытии
- •Задача о гамильтоновом цикле
- •Снова задача коммивояжера
- •Алгоритм дерева
- •Математическая логика: Исчисления высказываний и предикатов
- •Исчисление высказываний
- •Пример задачи логики высказываний
- •Формальные теории
- •Формальная теория исчисление высказываний
- •Теоремы исчисления высказываний
- •Теорема о полноте исчисления высказываний
- •Независимость аксиом исчисления высказываний
- •Исчисление предикатов
- •Пример задачи логики предикатов
- •Формальная теория исчисление предикатов
- •Алфавит.
- •Формулы.
- •Аксиомы.
- •Правила вывода.
- •Интерпретация
- •Литература
Формальные теории
Определение 5.1.4 . Формальная теория - это совокупность четырех объектов:
Алфавит A - произвольное множество элементов, которые, в этом случае, называют символами.
Множество формул F - некоторое множество слов в алфавите
A:
∞
F ⊆ A∗ = I Ai.
i=1
Множество аксиом B - некоторое множество формул: B ⊆ F.
Множество правил вывода R - множество отношений R на множестве формул:
R ⊆ F × F × · · · × F .
k + 1
Определение 5.1.5 . Пусть R ∈ R - некоторое k + 1-арное пра- вило вывода. Если A1, A2, ..., Ak, Ak+1 - формулы из F и (A1, A2, ..., Ak, Ak+1) ∈ R, то говорят, что Ak+1 непосредственно выводима из A1, A2, ..., Ak (или Ak+1 непосредственное следствие A1, A2, ..., Ak) по правилу вывода R.
Определение 5.1.6 . Вывод - это последовательность формул A1, A2, ..., An, такая что для каждого i ∈ {1, ..., n} верно одно из двух:
Ai ∈ B - аксиома, или
Ai непосредственно выводима из формул Aj1 , Aj2 , ..., Ajk , 1 ≤ js < i,
по некоторому правилу вывода данной формальной теории.
Определение 5.1.7 . Говорят, что формула A формальной теории T
является теоремой (выводима в формальной теории T ), если для нее существует вывод A1, A2, ...,An = A.
Пишут f--T A.
Определение 5.1.8 . Аксиоматическая теория - формальная теория, в которой существует алгоритм, позволяющий для любой формулы A определить, является ли A аксиомой.
Определение 5.1.9 . Разрешимая теория - формальная теория, в которой существует алгоритм, позволяющий для любой формулы A определить, является ли A теоремой.
Неразрешимая теория - теория не являющаяся разрешимой.
Определение 5.1.10 . Пусть Γ ⊆ F - некоторое множество формул теории T . Формула A выводима в формальной теории T из множества посылок Γ (A - следствие формул множества Γ), если для нее существует последовательность формул A1, A2, ..., An = A, такая что для каждого i ∈ {1, ..., n} верно одно из трех:
Ai ∈ B - аксиома,
Ai ∈ Γ - посылка, или
Ai непосредственно выводима из формул Aj1 , Aj2 , ..., Ajk , 1 ≤ js < i,
по некоторому правилу вывода теории T .
Такую последовательность формул будем называть выводом из посылок Γ. Пишут Γ f--T A.
Пример 5.1.1 . Формальная теория M :
Алфавит: A = {|}.
Формулы - последовательности из символа | произвольной длины:
F = A∗
Аксиома: B = {||}.
Правило вывода: R = {(α, β) | α - формула, β = αα}.
Вывод:
|| - аксиома.
|||| - из строки 1 по правилу вывода R.
|||||||| - из строки 2 по правилу вывода R.
Таким образом, теоремами этой формальной теории являются последовательности из символа | длины 2t для любого t ∈ N.
Формальная теория M является аксиоматической и разрешимой.
Формальная теория исчисление высказываний
Определим аксиоматическую теорию L - исчисление высказываний.
1. Алфавит: {A1, A2, ..., An, ..., ¬, ⊃, (, )}.
Формулы: 1) Ai - формула, для любого i ∈ N.
Если A и B - формулы, то ¬A и (A ⊃ B) - формулы.
Других формул нет.
Аксиомы: Пусть A, B, C - произвольные формулы. Тогда
следующие формулы являются аксиомами:
1a (A ⊃ (B ⊃ A)),
2a ((A ⊃ (B ⊃ C)) ⊃ ((A ⊃ B) ⊃ (A ⊃ C))),
3a ((¬B ⊃ ¬A) ⊃ ((¬B ⊃ A) ⊃ B)).
Замечание 5.1.2 . Три указанные формулы являются схемами аксиом: при подстановке в одну из схем произвольных формул теории L мы получим аксиому. Таким образом существует счетное число аксиом
теории L. В дальнейшем мы будем говорить об аксиоме 1, 2 или 3, имея в виду одну из аксиом по схеме 1, 2 или 3 соответственно.
Правило вывода modus ponens (MP):
MP = {(A, (A ⊃ B), B) | A, B ∈ F}.
То есть, если A и B произвольные формулы теории L, то B
непосредственно выводима из формул A и (A ⊃ B) по правилу вывода
modus ponens.
Замечание 5.1.3 . В алфавите формальной теории L нет символов
∨, ∧, ≡. Тем не менее, мы можем использовать эти символы, как
краткую форму записи в некоторых сложных выражениях:
(A ∨ B) = (¬A ⊃ B),
(A ∧ B) = (¬(A ⊃ ¬B)),
(A ≡ B) = ((A ⊃ B) ∧ (B ⊃ A)) = (¬((A ⊃ B) ⊃ ¬(B ⊃ A))).
Для простоты иногда будем опускать внешние скобки в записи формул: вместо (A ⊃ B) - писать A ⊃ B.
Далее в этой главе мы будем говорить только о формальной теории исчисление высказываний; для простоты, вместо f--L A будем писать f-- A.
Лемма 5.1.1 . Пусть, A - формула. Тогда f-- (A ⊃ A).
Доказательство. Построим вывод для формулы (A ⊃ A):
1. ((A ⊃ ((A ⊃ A) ⊃ A)) ⊃ ((A ⊃ (A ⊃ A)) ⊃ (A ⊃ A))) - аксиома 2
после подстановки вместо A формулы A, вместо B - (A ⊃ A) и вместо
C - A.
(A ⊃ ((A ⊃ A) ⊃ A)) - аксиома 1 после подстановки A ← A,
B ← (A ⊃ A).
((A ⊃ (A ⊃ A)) ⊃ (A ⊃ A)) - применение правила вывода MP к
строкам 2 и 1.
(A ⊃ (A ⊃ A)) - аксиома 1 после подстановки A ← A, B ← A.
(A ⊃ A) - MP к строкам 3 и 4.
D
Замечание 5.1.4 . Формулы, для которых мы доказали, что они являются теоремами данной формальной теории, в дальнейшем можно использовать в выводах наравне с аксиомами. Действительно, раз для такой формулы существует вывод, мы всегда можем привести его как составную часть других выводов, но не будем этого делать для краткости.
Пример 5.1.2 . Рассмотрим формализацию следующего рассуждения. "Если Вася баскетболист,то Вася высокий. Вася баскетболист. Следовательно Вася высокий."
Обозначим через A высказывание "Вася баскетболист" и через B - "Вася высокий". Тогда наше рассуждение будет имеь вид:
A ⊃ B, A. B
Чтобы убедиться, что оно верно, проверим, является ли формула
(A ⊃ B)A ⊃ B тавтологией.
(A ⊃ B)A ⊃ B = (A ∨ B)A ∨ B = A ∨ B ∨ A ∨ B = AB ∨ A ∨ B =
= (A ∨ A)(B ∨ A) ∨ B = B ∨ A ∨ B = 1.
Теперь рассмотрим это рассуждение с точки зрения теории L.
A - посылка.
A ⊃ B - посылка.
B - MP к 1 и 2.
Следовательно, A, A ⊃ B f-- B.
Согласно определению 5.1.2, если формула B получина по правилу
вывода MP из предыдущих, формула B является их логическим
следствием.