Следите за новостями и участвуйте в обсуждениях!
Подписывайтесь на
наш Инстаграм,
Телеграм-канал и
присоединяйтесь к чату сообщества — чтобы не пропустить результаты конкурса грантов!
Математическая логика и теория алгоритмов
-
Дисциплина способствует применению абстрактного математического аппарата логики высказываний, логики предикатов, нетрадиционных логик для проведения системного анализа и формализации инженерных задачи и проблем, навыки логического программирования и составления алгоритмов решения различных задач с оценкой их временной и емкостной сложности.
-
Образовательная программа 6B05401 Математика
-
Кредитов 5
-
Селективная дисциплина
-
Год обучения 2
-
Семестр 1