"Дискретная математика"

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

Задачи дисциплины следующие: 

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

После изучения данной дисциплины ожидается, что студент:

6.1 ориентируется в основных разделах дискретной математики, теории множеств и отношений, комбинаторике и теории кодирования, булевой алгебре и дискретных контактных структурах, теории графов и фундаментальных алгоритмах анализа графовых структур;

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

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

6.4 нормализует записи логических выражений, представленных в дизъюнктивной и конъюнктивной формах;

6.5 производит минимизацию записи логических функций;

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

6.7 адаптирует логические описания для решения практических задач проектирования дискретных устройств;

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

6.9 выбирает архитектуру программного обеспечения для конкретной задачи дискретной математики;

6.10 проектирует интерфейс программы решения задачи дискретной математики;