Добавил:
Upload
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:ОК по МЛ.doc
X
- •Содержание
- •Введение00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
- •1 Алгебра высказываний (ав)
- •2 Булевы функции (бф)
- •3 Логика предикатов (лп)
- •4 Логические исчисления (ли)
- •5 Приложения математической логики
- •6 Элементы теории алгоритмов
- •1 Алгебра высказываний (ав)
- •Отрицание конъюнкция дизъюнкция импликация эквивалентность
- •Выполнимая тавтология опровержимая противоречие
- •Основные тавтологии ав
- •Основные равносильности ав
- •I Составление и анализ таблицы истинности
- •II Рассуждения
- •III Равносильные преобразования
- •IV Алгоритм Квайна
- •2 Булевы функции (бф)
- •Метод минимизирующих карт
- •Метод Квайна
- •3 Логика предикатов (лп)
- •4 Логические исчисления (ли)
- •5 Приложения математической логики (Прил)
- •Список использованных источников
Список использованных источников
Игошин, В.И. Математическая логика и теория алгоритмов: учебное пособие / В.И. Игошин – М.: Академия , 2004. – 448 с.
Судоплатов, С.В. Элементы дискретной математики: учебник / С.В. Судоплатов, Е.В. Овчинникова – М.: ИНФРА-М, Новосибирск: Изд-во НГТУ, 2002. – 280 с.
Новиков, Ф.А. Дискретная математика для программистов / Ф.А. Новиков. – СПб.: Питер, 2003. – 304 с.
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]