Математическая логика: Учебник для бакалавриата
Учебник представляет собой систематическое изложение основ математической логики, соответствующее Федеральному государственному образовательному стандарту высшего образования третьего поколения. В книге подробно рассматриваются ключевые разделы дисциплины: алгебра высказываний, исчисления высказываний и логика предикатов.
Особое внимание уделяется алгоритмическому подходу: пошагово представлено доказательство теорем из аксиоматической теории L. Изложение материала сопровождается практическими примерами и заданиями для самостоятельной работы, что способствует закреплению теоретических знаний.
Отдельные главы посвящены прикладным аспектам математической логики в информатике. Рассматриваются системы логических функций, их минимизация, а также моделирование функционально-логических схем базовых устройств компьютера (сумматоров, триггеров, шифраторов и дешифраторов). Приводятся примеры применения языка Java в алгебре высказываний.
Учебник предназначен для студентов, обучающихся по направлениям педагогического образования с профилями «Информатика и математика», «Физика и информатика», «Технология и информатика», «Математика и информатика», «Прикладная информатика». Может быть полезен широкому кругу читателей, интересующихся теоретическими основами информатики и математики.
