Математическая логика: Учебник для бакалавриата

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