Садыков А.В. Основы математической логики

Учебное пособие. — Санкт-Петербург: Своё издательство, 2018. — 94 с.Предназначено для студентов, обучающихся по направлениям подготовки бакалавров «Информатика и вычислительная техника», «Управление в технических системах», «Автоматизация технологических процессов и производств». Излагаемый материал сопровождается примерами и дополняется упражнениями. Приведены задачи для самостоятельного решения.Логика высказываний.
Функции алгебры логики и их приложения.
Исчисление высказываний.
Правило резолюций.
Логика предикатов.
Исчисление предикатов.
Задачи для самостоятельного решения.
Литература.