BOOK
Математическая логика
В книге приведены главные традиционные исчисления математической логики: исчисление изречений и исчисление предикатов; имеется краткое изложение главных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - приведены более детально, чем это предусмотрено программой. Для студентов математических специальностей ВУЗов. Может служить пособием для спецкурсов.
6-е издание, исправленное.
Стоимость в разных магазинах:
Лабиринт
Стоимость: 1671 ₽*
* на сайте партнёра. На нашем - не является публичной офертой?
Прочее:
ISBNS: 978-5-9221-1301-4
Издатель: Физматлит
Publish date: 2011-01-01
Серия: -
Empty