Подписывайтесь на наш instagram, чтобы не пропустить результаты конкурса грантов!
Введение в математическую логику
-
Цели дисциплины: формирование систематизированных знаний в области математической логики, представлений о проблемах оснований математики и роли математической логики в их решении; развитие логического мышления, логической культуры, логической интуиции. Он состоит из следующих разделов: алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, методы решения логических задач, теория алгоритмов.
-
Образовательная программа 6B01505 Математика и физика
-
Кредитов 5
-
Селективная дисциплина
-
Год обучения 3
-
Семестр 2