Сборник задач по множествам, булевым функциям и математической логике

Описание

Учебное пособие адресовано изучающим курс дискретной математики, прежде всего, студентам младших курсов, обучающихся по направлениям укрупненных групп 01.03.00 «Математика и механика», 02.03.00 «Компьютерные и информационные науки», 09.03.00 «Информатика и вычислительная техника». Настоящий сборник задач является пособием для практических занятий по некоторым разделам дискретной математики и может быть использован преподавателями и студентами для подготовки к семинарским занятиям и контрольным работам. В книге помещено более 250 задач и упражнений, многие из которых состоят из нескольких независимых подзадач. Большинство задач снабжено ответами, а многие более сложные задачи сопровождаются также указаниями или решениями. Задачи в сборнике собраны в 11 разделов. Они посвящены элементам теории множеств и комбинаторики, булевым функциям и их реализациям, логике предикатов. Каждому разделу предшествует небольшое теоретическое введение, содержащее основные определения и формулы, используемые при решении его задач.