Контакты:

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

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

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

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

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

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

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

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

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