Дисциплина «Математическая логика и теория алгоритмов» является важным звеном  математического образования. Этот раздел математики наиболее интенсивно стал развиваться в середине прошлого века в связи с внедрением ЭВМ. В современной науке и технике знание математической логики играют все большую роль. Это обусловлено совершенствованием вычислительной техники, благодаря которой существенно расширяется возможность успешного применения математики при решении конкретных задач. Причины введения дисциплины «Математическая логика» заключаются в необходимости подготовки студентов к изучению последующих математических и специальных дисциплин, многие из которых связаны с основными понятиями математической логики.

Дисциплина «Математическая логика» включает в себя такие разделы, как алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов.

Курс предназначен для студентов математических специальностей.