Математична логіка та аксіоматична теорія множин: короткий курс

Abstract

Навчальний посібник містить стислий виклад основних розділів математичної логіки та аксіоматичної теорії множин, необхідних для формування фундаментальних логіко-математичних компетентностей студентів математичних і технічних спеціальностей. У посібнику розглянуто формальні мови та їх синтаксис, структуру логічних формул, правила побудови доведень, основи семантики теорії першого порядку, а також ключові поняття теорії моделей. Окрему увагу приділено аксіоматичній теорії множин Цермело–Френкеля, її основним аксіомам, методам побудови множин, ролі аксіоми вибору. Посібник структуровано таким чином, щоб забезпечити поєднання теоретичного матеріалу з практичним опрацюванням: кожен розділ супроводжується контрольними питаннями для самоперевірки та добіркою вправ.