Личный кабинет
Подробное описание документа
Ершов Ю. Л.
Математическая логика : учеб. пособие для вузов / Ершов Ю. Л., Палютин Е. А. - [6-е изд., испр.]. - М. : Физматлит, 2011. - 356 с. -
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой.
Для студентов математических специальностей вузов. Может служить пособием для специальных курсов.
Рекомендовано УМС по математике и механике ума по классическому университетскому образованию РФ в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям и специальностям: "Математика", "Прикладная математика и информатика", "Механика".
Похожие издания
Математическая логика / Ю. Л. Ершов, Е. А. Палютин. - 2-е изд., испр. и доп. - М. : Наука. Гл. ред. физ.-мат. лит., 1987. - 336 с.
