Элементы математической логики

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

-выполнять операции над высказываниям;

– применять формулы и тавтологии алгебры высказываний;

-представлять формулы алгебры высказываний СКН и СДН;

-производить доказательство с помощью метода математической индукции и определять бинарные отношения и функции;

-выражать булевые функции через операции отрицании, дизъюнкции, конъюнкции, импликации, эквивалентности;

– определять истинности предикатов и выполнять логических операций над предикатами;

– применять параметры алгоритмов к построению блок-схем.

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

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

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

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

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