 |
Практикум по математическим основам информатики. Часть 2. Введение в математическую логику |
|
Практическое занятие 4. «Введение в математическую логику»
Применение математической логики в организации ЭВМ
Высказывания
Логические связки
Пропозициональные формулы
Булево множество и операции в нем
Булевы функции
Таблицы истинности
Упражнения
Практическое занятие 5. «Особые и равносильные формулы. Равносильные преобразования в булевой алгебре»
Равносильные формулы
Особые формулы
Равносильные преобразования формул
Основные равносильные формулы
Доказательство равносильности
Упрощение формул
Замечания о равносильных преобразованиях.
Упражнения
Практическое занятие 6. «Выделение фиктивных переменных. Нормальные формы логических функций. Равносильные преобразования в алгебре Жегалкина»
Поиск фиктивных переменных
Минтермы и макстермы
Нормальные формы булевой алгебры
Запись формулы по таблице истинности
Алгебра Жегалкина
Равносильные преобразования в алгебре Жегалкина
Полином Жегалкина
Упражнения
Примерные варианты семестровой контрольной работы
Ответы к упражнениям
Список литературы
