Опис
У книзі викладені основні класичні обчислення математичної логіки: числення висловів і числення предикатів; є короткий виклад основних понять теорії множин і теорії алгоритмів. Ряд розділів книги – теорія моделей і теорія доказів – викладені більш детально, ніж це передбачено програмою.
Для студентів математичних спеціальностей вищих навчальних закладів. Може служити посібником для спецкурсів. У військовий час актуальність товару уточнюйте за номером телефону.
