Добавил:
Upload
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Садыков__МЛИТА.docx
X
- •Математическая логика и теория алгоритмов
- •Часть I
- •Нижнекамск
- •1. Логика высказываний
- •1.1. Высказывания и операции над ними
- •1.2. Формулы логики высказываний
- •Определение 7.
- •1.3. Классификация формул. Равносильные формулы
- •Основные равносильности
- •Признак равносильности формул
- •Закон двойственности
- •1.4. Нормальные формы
- •Совершенные нормальные формы
- •Совершенная дизъюнктивная нормальная форма
- •Совершенная конъюнктивная нормальная форма
- •Построение сднф, скнф на основе таблиц истинности
- •Другое определение совершенных нормальных форм
- •1.5. Логическое следование
- •1.6. Правила вывода
- •Основные правила вывода
- •Упражнения
- •2. Функции алгебры логики и их приложения
- •2.1. Функции алгебры логики
- •Примеры.
- •2.2. Специальные замкнутые классы функций алгебры логики
- •Упражнение. Доказать, что следующие системы булевых функций являются базисами:
- •2.3. Приложение булевых функций к анализу и синтезу релейно-контактных схем
- •3. Исчисление высказываний
- •4. Правило резолюций
- •5. Логика предикатов
- •5.1. Определение предиката
- •Примеры
- •Примеры.
- •5.2. Логические операции над предикатами
- •Кванторные операции
- •5.3. Теоретико–множественный смысл предикатов
- •5.4. Классификация предикатов
- •5.5. Формулы логики предикатов. Равносильность формул
- •5.6. Классификация формул логики предикатов
- •6. Исчисление предикатов (ип)
- •Содержание
- •Логика высказываний …….………….…….… 3
- •Высказывания и операции над ними …………………3
- •Часть I
Часть I
МЕТОДИЧЕСКИЕ УКАЗАНИЯ
Корректор Белова И.М.
Худ. редактор Фёдорова Л.Г.
Сдано в набор 25.12.15.
Подписано в печать 11.01.16.
Бумага писчая. Гарнитура Таймс.
Усл. печ. л. 3,7. Тираж 100 экз.
Заказ № 33.
НХТИ ФГБОУ ВПО «КНИТУ»
г. Нижнекамск, 423570, ул.30 лет Победы, д.5а
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]