Личный кабинет
Подробное описание документа
Хворостухина Е. В.
Математическая логика : учебное пособие / Хворостухина Е. В. - Саратовский государственный технический университет имени Ю. А. Гагарина, ЭБС АСВ, 2018. -
В учебном пособии излагаются основы математической логики. Здесь содержится материал по теории множеств, алгебре высказываний, алгебре предикатов, формальным исчислениям и аксиоматическим теориям первого порядка. Описывается метод резолюций, служащий для автоматического доказательства теорем, приводятся основы написания программ на языке логического программирования Пролог. В конце каждого раздела приводится список вопросов и заданий для самостоятельной работы. Учебное пособие предназначено для студентов бакалавриата по направлениям подготовки 09.03.01 «Информатика и вычислительная техника» и 09.03.04 «Программная инженерия».
