Математическая логика служит ядром современной логики и изучает математические доказательства математическими методоми. Для этого создаются формальные языки, исчисления и формальные теории. Из потребностей исследования доказательств возникла теория алгоритмов, которая служит одним из разделов математической логики. В ней исследуются понятия алгоритма и вычислимой функции, вопросы существования алгоритмов и их сложности. Изучение математической логики призвано помочь будущему учителю математики лучше понимать язык математики, понятия алгоритма, исчисления, доказательства.
Символьные конструкции. Языки термов и атомарных формул. Язык логики предикатов первого порядка. Формализация понятия доказательства. Примеры формальных аксиоматических теорий. Алгоритмы и вычислимые функции.