Основи математичної логіки

У навчальному посібнику представлені розділи, які традиційно вивчаються в курсі математичної логіки: алгебра логіки та числення висловлювань, логіка та числення предикатів, розглянуто питання змістовного та формального визначення логіки висловлювань та логіки предикатів. Наведено велику кількість прикладів і розвязаних задач, які допомагають засвоїти та закріпити матеріал, що викладається. Розглянуто прикладні числення предикатів, зокрема формальна арифметика, та модальні логіки. Для студентів освітніх програм за спеціальностями «Системний аналіз», «Прикладна математика» денної, прискореної та заочної форм навчання, а також всіх бажаючих розпочати систематичне вивчення математичної логіки.