Дискретная математика и логика лежит в основе любого современного изучения информатики. Слово «дискретный» означает «составленный из отдельных частей», а дискретная математика имеет дело с совокупностями объектов, называемых множествами, и определенными на них структурами. Элементы этих множеств, как правило, изолированы друг от друга и геометрически не связаны. Действительно, большинство интересующих нас множеств конечны или, по крайней мере, счетны.
С развитием программирования стало ясно, что изучение дискретной математики – важная составная часть образования специалистов в компьютерных дисциплинах. Курс дискретной математики преследует две основные цели. Первая заключается в том, чтобы познакомить студентов с содержательными математическими структурами, которые естественно описывают большую часть содержания компьютерных дисциплин, включая те структуры, которые часто используются при моделировании и решении задач программирования. Вторая – помочь студентам развить умение рассуждать математически, чтобы освоить новые понятия и темы компьютерных дисциплин. Это умение нужно не только во время обучения, но и после его завершения, в процессе профессиональной деятельности.
