Лапшева Е.Е. Элементы математической логики

Саратов: СГУ им. Н.Г.Чернышевского, 2007. - 21 с. Приведен материал по математической логике для профильного курса информатики в средней школе. Рассматривваются понятие алгебры логики, история логики, понятие "высказывание", таблицы истинности, логические функции, основные логические операции, законы логики, упрощение логических выражений, решение логических уравнений, логические элементы ЭВМ, построение функциональных схем, решение задач с использованием конъюнктивно-нормальной и дизъюнктивно-нормальной форм. Содержание:
Алгебра логики. История логики
Высказывания
Таблицы истинности. Логические функции. Основные логические операции
Законы логики. Упрощение логических выражений
Решение логических уравнений
Логические элементы ЭВМ. Построение функциональных схем
Решение задач с использованием конъюнктивно-нормальной и дизъюнктивно-нормальной форм
Использованная литература