Рабочая программа по учебной дисциплине "Элементы математической логики"
рабочая программа по теме

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

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

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

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

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

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

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