ЛИТЕРАТУРА ПО ФУНДАМЕНТАЛЬНЫМ И ПРИКЛАДНЫМ НАУКАМ
для школьников, студентов и научных работников

Каталог

Книги

Математическая логика Ершов Ю.Л., Палютин Е.А. Физматлит 2011
/Ершов Ю.Л., Палютин Е.А./

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

Издательство:Физматлит
Год издания:2011
ISBN:978-5-9221-1301-4
Кол-во страниц:356
Переплёт:Твёрдый
 693 руб.  В корзину

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

Комментарии: (авторизуйтесь, чтобы оставить свой)