МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ

Лектор Воронцов А.А.

1. Булева алгебра подмножеств данного множества. Аксиомы булевой

алгебры.
2. Алгебра булевых векторов. Алгебра высказываний. Изоморфизм
булевых алгебр.
3. Определение и способы задания булевых функций. Элементарные
булевы функции.Фиктивные и существенные переменные.
4. Суперпозиция булевых функций. Понятие формулы. Выражение
элементарных булевых функций через основные.
5. Нормальные формы. СДНФ и СКНФ. Теорема о существовании и
единственности СДНФ. Алгоритм преобразования формулы к виду
СДНФ.
6. Принцип двойственности. Теорема о существовании и
единственности СКНФ. Алгоритм преобразования формулы к виду
СКНФ.
7. РангДНФ. Минимизация ДНФ. Тривиальный алгоритм минимизации
ДНФ.
8. Определение интервала и максимального интервала для булевой
функции. Сокращенная ДНФ. Геометрический смысл задачи
минимизации ДНФ. Ядровые коньюнкции и ядро булевой функции.
Связь между ядром и минимальной ДНФ. Алгоритм отыскания
минимальной ДНФ.
9. Метод карт карно для отыскания минимальной ДНФ.
10.Метод Квайна для отыскания минимальной ДНФ.
11.Теорема о существовании и единственности многочлена Жегалкина
для булевой функции. Алгоритм нахождения многочлена Жегалкина.
12.Функционально полные системы функций. Две теоремы о
функциональной полноте.
13.Понятие замкнутого класса функций. Пять важнейших замкнутых
классов функций.
14.Лемма о несамодвойственной функции.
15.Лемма о немонотонной функции.
16.Лемма о нелинейной функции.
17.Теорема Поста о функциональной полноте.
18.Высказывания. Таблицы истинности.
19.Семантические таблицы Бета. Доказательство по Бету. Опровержение
по Бету.
20.Аксиомы логики высказываний. Правило вывода. Теорема о
подстановке Эквивалентных формулэ
21.Дизъюнкты, резольвента. Резолютивный вывод из множества
дизъюнктов.
22.Метод резолюций в логике высказываний.
23.Предикаты. Кванторы. Операции навешивания кванторов. Основные
равносильности содержащие кванторы.
24.Нормальные формы в логике предикатов.
25.Метод семантических таблиц в логике предикатов.
26.Метод резолюций в логике предикатов.
27.Определение и способы задания конечных автоматов.
28.Алгоритм задания автомата системой булевых функций.
29.Реализация конечных автоматов схемами.
30.Автоматы Мура. Триггеры.
31.Основные соединения автоматов.
32.Достаточные условия автоматной полноты.
33.Структурный синтез автоматов.
34.Определение и способы задания машины Тьюринга.
35.Вычисления на машинах Тьюринга. Функции вычислимые по
Тьюрингу.
36.Вычислимость суперпозиции и разветвления на машинах Тьюринга.
37.Частичные функции. Операции примитивной рекурсии,
суперпозиции и минимизации.
38.Элементарные частичные функции. Частично – рекурсивные
функции.
39.Геделевская нумерация
40.Нормальный алгоритм Маркова.
41.Понятие алгоритма и его характеристические свойства.
42.Вычислимость по Тьюрингу частично – рекурсивных функций. Тезис
Черча – Тьюринга. Примеры неразрешимых по Тьюрингу проблем.