Поиск книги

По фамилии автора или названию книги

Строка поиска:

Информация по книге

Математическая логика
Изд. 6.

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

ISBN: 978-5-9221-1301-4

Стандарт упаковки: пер, 14
Количество страниц: 356 стр.
Год издания: 2011
Цена: 693 руб.

Купить в интернет-магазине издательства "Физматлит"
(совет: в строке поиска набрать ISBN)

Раздел: Учебники и учебные пособия для вузов (Математика. Прикладная математика)

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