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

 

Код ПК, ОК

Умения

Знания

 

ОК 01, ОК 02,

ОК 04, ОК 05,

ОК 09, ОК 10

 

У1 - применять логические операции, формулы логики, законы алгебры логики;

 

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

 

 

З1 - основные принципы теории множеств;

 

З2 - формулы алгебры высказываний;

 

З3 - методы минимизации алгебраических преобразований;

 

З4 - основы языка и алгебры предикатов;

 

З5 - основные принципы математической логики и теории алгоритмов.