Елементи математичної логіки та теорії рекурсії

by М.Я.Комарницький, В.І.Андрійчук, І.О.Мельник

Викладено основи математичної логіки та теорії рекурсії. Розглянуто алгебру висловлень, числення висловлень і числення предикатів, основні поняття теорії рекурсії. Окремий розділ присвячено викладанню елементів теорії моделей. Для студентів математичних спеціальностей вищих навчальних закладів, аспірантів, викладачів і всіх, хто цікавиться математичної логікою.

282 pages, Unknown Binding

First published January 1, 2013

Reviews

[Jan · Rating 5 out of 5]

Навчальне видання про логіку. Детально розглянуто числення висловлень та числення предикатів. Містить багато задач. Дуже корисними є приклади до кожного поняття. Рекомендую до вивчення.