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