Введение в дискретную математику и логику

Описание

Излагаются основы дискретной математики и языка логики предикатов на базе теоретико-множественной концепции с позиций математического платонизма с учетом современных требований, предъявляемых к изучению математических дисциплин в высшей школе. Излагаемый материал написан на основе лекционных курсов по дисциплинам «Вводный курс математики», «Основы дискретной математики», «Математическая логика» и «Теория алгоритмов», читаемых авторами в течение многих лет. В конце каждого раздела, для оценки понимания прочитанного, читателю задаются вопросы для самоконтроля. Пособие содержит примеры с решениями, проясняющими изучаемые понятия. Предназначено студентам и преподавателям вузов