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

Общая информация о дисциплине

Цели изучения дисциплины
Дискретная математика включает в себя ряд разделов математики, которые стали интенсивно развиваться в середине ХХ-го века в связи с необходимостью создания сложных управляющих систем и бурным прогрессом вычислительной техники. Главная задача курса – это обучение студентов методам мышления, характерным для дискретной математики, основным понятиям таких ее дисциплин как булевы функции, графы, представления булевых функций с помощью схем и диаграмм, конечные автоматы и алгоритмы (структурированные программы, частично рекурсивные функции, машины Тьюринга). Еще одной целью курса является развитие у студентов навыков алгоритмического мышления на примерах решения задач из указанных разделов дискретной математики и обучение их алгоритмам решения ряда типовых задач.
Предварительные знания и навыки, требуемые для изучения дисциплины
 Для изучения дисциплины требуются предварительные знания в объеме школьной программы по математике.
Получаемые знания и навыки
Умение работать с дискретными объектами: булевыми функциями, булевыми формулами,  графами, логическими схемами, диаграммами, конечными автоматами. Умение проводить доказательство свойств дискретных объектов методом математической индукции.  Знание методов, понятий и языка теории графов и ее базовых алгоритмов, знание основ теории автоматов и алгоритмов.