Математическая логика и теория алгоритмов

Цели и задачи дисциплины

Цель: Овладение основными понятиями, идеями и методами математической логики и теории алгоритмов. Задачи: Ознакомление с фундаментальными понятиями математической логики, знакомство с основными принципами построения логических исчислений; знакомство с общим понятием алгоритма; изучение универсальных алгоритмических моделей.

Краткое содержание дисциплины

Классическая логика, формальные теории (исчисления), неклассические логики, алгоритмы.

Компетенции обучающегося, формируемые в результате освоения дисциплины

Выпускник должен обладать:

ПК-4 Способен использовать методы и инструментальные средства исследования объектов профессиональной деятельности