Магазин `Купить с доставкой`

Доставка до пунктов выдачи или почтой.

TwitterRSS

Учебники: доп. пособия
ISBN 978-5-9221-1301-4



В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой.
Для студентов математических специальностей ВУЗов. Может служить пособием для специальных курсов.

Математическая логика

Производитель: Физматлит

Цена: 1238.00 руб.

Описание:
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей ВУЗов. Может служить пособием для специальных курсов.



Отобрано товаров 1
(c) nzrv.ru

Яндекс.Метрика