introduction.tex

\clearpage
\phantomsection
\setcounter{page}{1}
\section*{Введение. Предмет математической логики}
\markboth{Введение. Предмет математической логики}{}
\addcontentsline{toc}{section}{Введение. Предмет математической логики}
\textit{Математическая логика} (\textit{символическая логика})~---~раздел фундаментальной математики, в котором математическими методами исследуются законы человеческого мышления. \\
Современная математическая логика занимается проблемами математических доказательств и оснований математики.


\underline{Разделы математической логики}:
\begin{enumerate}
    \item Логика высказываний;
    \item Логика предикатов;
    \item Теория доказательств;
    \item Теория моделей;
    \item Теория вычислимости.
\end{enumerate}