АвторыЕршов Ю.Л., Палютин Е.А.
Математическая логика
ИздательствоФизматлит
Тип изданияучебное пособие
Год издания2011
Скопировать биб. запись
Для каталогаЕршов, Ю. Л. Математическая логика / Ершов Ю. Л. , Палютин Е. А. - 6-е изд. , испр. - Москва : ФИЗМАТЛИТ, 2011. - 356 с. - ISBN 978-5-9221-1301-4. - Текст : электронный // ЭБС "Консультант студента" : [сайт]. - URL : https://www.studentlibrary.ru/book/ISBN9785922113014.html (дата обращения: 27.12.2024). - Режим доступа : по подписке.
АннотацияВ книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для специальных курсов. Рекомендовано УМС по математике и механике УМО по классическому университетскому образованию РФ в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям и специальностям: "Математика", "Прикладная математика и информатика", "Механика".