Об этом курсе

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

Дисциплина занимает центральное место в математической подготовке студентов технических и естественно-научных направлений, выступая связующим звеном между классическим математическим аппаратом и его приложениями в современных информационных технологиях.

Цели курса

Основная цель курса — сформировать у обучающихся целостное представление о методах и моделях дискретной математики как теоретического фундамента компьютерных наук и инженерных дисциплин.

К частным целям относятся: овладение понятийным аппаратом и формальным языком дискретной математики; развитие способности к строгому логическому рассуждению и математическому доказательству; формирование умения применять дискретные модели для анализа и решения прикладных задач; подготовка теоретической базы для последующего изучения дисциплин «Алгоритмы и структуры данных», «Теория вычислимости», «Криптография» и смежных курсов.

Задачи курса

В рамках курса решаются следующие задачи:

изучение основ теории множеств, отношений и отображений;
освоение аппарата математической логики, включая исчисление высказываний и исчисление предикатов;
овладение основными комбинаторными методами перечисления и оценки;
изучение свойств графов, деревьев и сетей, а также алгоритмов на графах;
знакомство с элементами теории конечных автоматов и формальных языков;
формирование навыков построения и анализа математических доказательств, в том числе с использованием метода математической индукции;
развитие умения формализовать практические задачи средствами дискретных моделей.

Все курсы