ЕН.02 ДИСКРЕТНАЯ МАТЕМАТИКА С ЭЛЕМЕНТАМИ МАТЕМАТИЧЕСКОЙ ЛОГИКИ

дисциплина «Дискретная математика с элементами математической логики» принадлежит к математическому и общему естественнонаучному циклу (ЕН.00).

Требования к результатам освоения дисциплины:

В результате освоения дисциплины обучающийся должен уметь:

· Применять логические операции, формулы логики, законы алгебры логики.

· Формулировать задачи логического характера и применять средства математической логики для их решения.

В результате освоения дисциплины обучающийся должен знать:

· Основные принципы математической логики, теории множеств и теории алгоритмов.

· Формулы алгебры высказываний.

· Методы минимизации алгебраических преобразований.

· Основы языка и алгебры предикатов.

· Основные принципы теории множеств.