Основания математики: исчисления высказываний и предикатов: учебно-методическое пособие

Abstract

Учебно-методическое пособие предназначено для студентов второго курса Высшей школы информационных технологий и информационных систем и содержит основные разделы, излагаемые в курсе математической логики: исчисление высказываний и исчисление предикатов