Чему вы научитесь
дисциплина «Дискретная математика с элементами математической логики» принадлежит к математическому и общему естественнонаучному циклу (ЕН.00).
Требования к результатам освоения дисциплины:
В результате освоения дисциплины обучающийся должен уметь:
· Применять логические операции, формулы логики, законы алгебры логики.
· Формулировать задачи логического характера и применять средства математической логики для их решения.
В результате освоения дисциплины обучающийся должен знать:
· Основные принципы математической логики, теории множеств и теории алгоритмов.
· Формулы алгебры высказываний.
· Методы минимизации алгебраических преобразований.
· Основы языка и алгебры предикатов.
· Основные принципы теории множеств.