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

Аннотация

Дисциплина посвящена изучению основных понятий и методов математической логики и теории алгоритмов. Она даёт представление о новейших тенденциях развития современного математического инструментария. Особое внимание уделяется основным понятиям дисциплины, таким как высказывание, предикат, исчисление, аксиоматическая система, формальный вывод, алгоритм и др. Рассматриваются основные положения логики высказываний, логики предикатов, алгебры множеств и теории алгоритмов. Разбирается широкий круг логических и алгоритмических задач, которые могут встретиться в профессиональной практике бакалавра.Теоретическая часть курса в значительной степени поддерживается практическими занятиями, на которых осмысливаются и закрепляются основные понятия и методы курса.