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

Содержание книги "Математическая логика и теория алгоритмов "

Введение
Глава 1. Формальная аксиоматическая теория
1.1. Формализация математических теорий
1.2. Понятие формальной аксиоматической теории
Темы для самоконтроля
Глава 2. Математическая логика
2.1. Понятие высказывания
2.2. Логические операции математической логики
2.3. Формулы алгебры логики
2.3.1. Равносильные формулы алгебры логики
2.3.2. Дополнительные логические операции
2.3.3. Примеры равносильных преобразований формул математической логики
2.4. Алгебра логики Буля
2.5. Функции математической логики
2.6. Произвольная функция алгебры логики в виде формулы математической логики
2.7. Закон двойственности
2.8. Дизъюнктивная нормальная форма и совершенная дизъюнктивная нормальная форма
2.9. Конъюнктивная нормальная форма и совершенная конъюнктивная нормальная форма. (КНФ и СКНФ)
2.10. Проблемы разрешимости
2.11. Тавтологии в математической логике
Темы для самоконтроля
Задачи и упражнения
Глава 3. Множества и способы их задания
3.1. Основные понятия теории множеств
3.2. Виды множеств
3.3. Пересечение множеств
3.4. Объединение множеств
3.5. Разность множеств
3.6. Дополнение множества
3.7. Взаимосвязь записи высказывания в математической логике и теории множеств
3.8. Кванторы общности и существования в случае конечного универсального множества
3.9. Бинарные отношения и функции
3.10. Взаимно однозначные соответствия и эквивалентные множества
3.11. Теорема Кантора и канторовский диагональный метод
3.12. Парадоксы теории множеств
3.13. Аксиоматическая теория множеств
Темы для самоконтроля
Задачи и упражнения
Глава 4. Классическое исчисление высказываний
4.1. Пропозициональные связки и основные логические операции
4.2. Основные логические операции и их логический смысл
4.3. Понятие формулы исчисления высказываний
4.4. Доказуемые формулы исчисления высказываний
4.4.1. Логические отношения между формулами
4.4.2. Порядок построения доказуемых формул
4.5. Правила вывода исчисления высказываний
4.6. Производные правила вывода
4.7. Понятия выводимости и вывода из совокупности формул
4.8. Основные правила выводимости
4.9. Примеры доказательства некоторых законов логики
4.10. Связь между алгеброй высказываний и исчислением высказываний
4.11. Проблемы аксиоматического исчисления высказываний
Темы для самоконтроля
Задачи и упражнения
Глава 5. Логика предикатов
5.1. Основные понятия, связанные с предикатами
5.2. Логические операции над предикатами
5.3. Понятие формулы логики предикатов
5.4. Логическое значение формулы логики предикатов
5.5. Предваренная нормальная форма формулы предиката
5.6. Общезначимость и выполнимость формул предикатов
Темы для самоконтроля
Задачи и упражнения
Глава 6. Теория алгоритмов
6.1. Неформальное понятие алгоритма и его свойства
6.2. Разрешимые и перечислимые множества
6.3. Вычислимые функции, частично-рекурсивные и общерекурсивные функции
6.4. Алгоритм машины Тьюринга
6.5. Нормальные алгоритмы Маркова
Темы для самоконтроля
Задачи и упражнения
Глава 7. Использование элементарной алгебры для задач математической логики
7.1. Примеры использования выражений элементарной алгебры для решения логических задач и задач алгебры множеств
7.2. Решение логических задач с использованием алгебраических выражений
7.3. Применение методов математической логики при построении релейно-контактных схем
7.4. Синтез элементов цифровой техники с использованием алгебраических выражений
7.5. Решение задач алгебры множеств с применением алгебраических выражений
Список литературы