Формальные аксиоматические теории. Исчисление предикатов. Часть 2

Описание

Учебно-методическое пособие подготовлено на кафедре вычислительной математики и прикладных информационных технологий факультета прикладной математики, информатики и механики Воронежского государственного университета. Рекомендовано для студентов факультета прикладной математики, информатики и механики Воронежского государственного университета, изучающих дисциплину «Математическая логика и теория алгоритмов». Для направления 02.03.02 – Фундаментальная информатика и информационные технологии