Математическая логика
Цена: 380 ₽
В корзину
Код товара: 1417192
Год издания: 1979
Место издания: Москва
Издательство:
Наука
Главная редакция физико-математической литературы
Язык:
русский
Возрастные ограничения: 16+
Тип обложки: твердый переплет
Количество страниц: 320
Вес: 330г
Формат: 84х108/32
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой.
