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

