Цели и задачи дисциплины
Цель: Овладение основными понятиями, идеями и методами математической логики и теории алгоритмов.
Задачи: Ознакомление с фундаментальными понятиями математической логики, знакомство с основными принципами построения логических исчислений; знакомство с общим понятием алгоритма; изучение универсальных алгоритмических моделей.
Краткое содержание дисциплины
Классическая логика, формальные теории (исчисления), неклассические логики, алгоритмы.
Компетенции обучающегося, формируемые в результате освоения дисциплины
ОПК-1
Способен применять естественнонаучные и общеинженерные знания, методы математического анализа и моделирования, теоретического и экспериментального исследования в профессиональной деятельности
ОПК-7
Способен применять в практической деятельности основные концепции, принципы, теории и факты, связанные с информатикой