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

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

Матросов В.Л. Математическая логика: Учебник для бакалавриата / В.Л. Матросов, М.С. Мирзоев. - Москва : Прометей, 2020. - 228 с. - ISBN 978-5-907244-03-0. - URL: http://m.ibooks.ru/bookshelf/395230/reading (дата обращения: 26.07.2025). - Текст: электронный.