Контакты:
-
Галина Владимировна СеменоваПреподаватель
В результате освоения учебной дисциплины обучающийся должен уметь:
− Применять логические операции, формулы логики, законы алгебры логики.
− Формулировать задачи логического характера и применять средства математической логики для их решения.
В результате освоения учебной дисциплины обучающийся должен знать:
− Основные принципы математической логики, теории множеств и теории алгоритмов.
− Формулы алгебры высказываний.
− Методы минимизации алгебраических преобразований.
− Основы языка и алгебры предикатов.
− Основные принципы теории множеств.