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

Дисциплина дает введение в формальную логику и теорию алгоритмов, включая элементы теории вычислительной сложности. Состоит из модулей: Логика высказываний, Логика предикатов, Теория алгоритмов. Излагаются вопросы неклассических логик - нечеткой, модальной, темпоральной. Содержательно представляет собой математическую основу для изучения и разработки интеллектуальных систем, в том числе систем искусственного интеллекта.

Одна из базовых математических дисциплин при подготовке IT-специалистов.