Расширенный поиск
Все разделы
Корзина
у вас нет товаров
Математическая логика Ершов Ю.Л., Палютин Е.А.

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

Авторы:
Издательство: Физматлит
Издание: 6-е
ISBN 978-5-9221-1301-4; 2011 г.
Кол-во страниц: 356
Гриф: Рекомендовано УМС по математике и механике УМО по классическому университетскому образованию РФ в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям и специальностям: «Математика», «Прикладная математика и информатика», «Механика».

Положить в корзину

О книге:

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

Вверх