Математическая логика и теория алгоритмов: Учебное пособие

Г. Е. Михальченко. Математическая логика и теория алгоритмов: учебное пособие ОГЛАВЛЕНИЕ Введение Глава 1. Алгебра высказываний 1.1. Высказывания и операции с ними 1.2. Формулы алгебры высказываний 1.3. Отношения логического следования и равносильности 1.4. Свойства операций с высказываниями 1.5. Нормальные формы формул алгебры высказываний Задачи к главе 1. Алгебра высказываний Глава 2. Булевы функции 2.1. Определение и свойства булевых функ 2.2. Нормальные формы булевых функций 2.3. Классы функций, сохраняющих постоянные (P0, P1) 2.4. Класс самодвойственных функций (S) 2.5. Алгебра и полином Жегалкина 2.6. Класс линейных функций (L) 2.7. Класс монотонных функций (M) 2.8. Полнота систем булевых функций 2.9. Булевы функции и релейно-контактные схемы 2.10. Релейно-контактные схемы в ЭВМ Задачи к главе 2. Булевы функции Глава 3. Логика предикатов 3.1. Понятие предиката. Множество истинности предиката. Виды предикатов 3.2. Операции над предикатами и их свойства 3.3. Формулы логики предикатов и их виды 3.4. Равносильность формул логики предикатов 3.5. Нормальные формы формул логики предикатов 3.6. Логическое следование формул. Правило резолюций Задачи к главе 3. Логика предикатов Глава 4. Элементы теории алгоритмов 4.1. Машины Тьюринга 4.2. Рекурсивные функции Задачи к главе 4. Машины Тьюринга Заключение Библиографический список