КОД (ISBN):
978-5-9221-1301-4

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

Товар № 10282974

6-е изд., испр., 6-е изд., испр., ВУЗ

Автор: Ершов Ю.Л., Палютин Е.А.

Издательство: Физматлит

Вес: 0.490 кг.

Год издания: 2011

Формат: 60х90/16

Страниц: 356 Переплет: Твердый переплет

Цена: 2 178 руб.

В КОРЗИНУ

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