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

Арт:1301
Магазин на Бутлерова: В наличии
726 Р ×
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для специальных курсов. Рекомендовано УМС по математике и механике УМО по классическому университетскому образованию РФ в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям и специальностям : "Математика", "Прикладная математика и информатика", "Механика".
Автор
Издательство ООО "Физматлит"
Дата издания 2011
Кол-во страниц 356
ISBN 978-5-9221-1301-4
Тематика Математика. Прикладная математика
№ в каталоге 1384

Категории: Учебная литература