- Цели и задачи дисциплины
- Цель: Овладение основными понятиями, идеями и методами математической логики и теории алгоритмов. Задачи: Ознакомление с фундаментальными понятиями математической логики, знакомство с основными принципами построения логических исчислений; знакомство с общим понятием алгоритма; изучение универсальных алгоритмических моделей.
- Краткое содержание дисциплины
- Классическая логика, формальные теории (исчисления), неклассические логики, алгоритмы.
- Компетенции обучающегося, формируемые в результате освоения дисциплины
- Выпускник должен обладать:
- ПК-4 Способен использовать методы и инструментальные средства исследования объектов профессиональной деятельности
- Образование
- Учебный план 09.03.04, 2023, (4.0), Программная инженерия
- Математическая логика и теория алгоритмов