\thispagestyle{empty}

\begin{flushleft}
\textbf{ББК~22.12}
\end{flushleft}

\noindent
\leavevmode\hbox to 0pt{\hss В31\quad}\textbf{Н.\,К.\,Верещагин, А.\,Шень.}
Лекции по математической\break  логике и теории алгоритмов.
Часть 3. Вычислимые функции. М.:\,МЦНМО, 1999, \textbf{176}~c.

\smallskip

{\renewcommand{\baselinestretch}{0.9}\normalsize
Книга написана по материалам лекций и семинаров, проводившихся
авторами для студентов младших курсов мехмата МГУ. В ней
рассказывается об основных понятиях общей теории вычислимых
функций (вычислимость, разрешимость, перечислимость,
универсальные функции, нумерации и их свойства, $m$-полнота,
теорема о неподвижной точке, арифметическая иерархия, вычисления
с оракулом, степени неразрешимости) и о конкретных
вычислительных моделях (машины Тьюринга, рекурсивные функции).
Изложение рассчитано на учеников математических школ,
студентов\д математиков и всех интересующихся основами теории
алгоритмов. Книга включает себя около $90$ задач различной
трудности.\par}

\normalsize
Тексты, составляющие книгу, являются свободно распространяемыми
и доступны по адресу
\begin{center}
\texttt{ftp://ftp.mccme.ru/users/shen/logic/comput}
\end{center}

\begin{flushleft}
%\textbf{ISBN} 5-900916-36-7 было для первой части
\textbf{ISBN} 5-900916-39-1
\end{flushleft}

\begin{center}
        %
Книга издана при финансовой поддержке \\
Российского фонда фундаментальных исследований\\
(проект 98-01-14119)
        %
\end{center}

\vspace*{-4mm}

\hbox{\epsffile{rffi.ps}}

\vspace*{-10mm}

\begin{flushright}
\begin{tabular}{l}
\copyright Н.\,К.\,Верещагин, А.\,Шень, 1999\\
\copyright МЦНМО, 1999\\
\end{tabular}
\end{flushright}

\hrule

\begin{center}
Издательство Московского Центра\\[-0.3ex]
непрерывного математического образования\\[0.5ex]
        %
Технический редактор В.\,В.\,Шувалов\\[0.5ex]
        %
Лицензия ЛР \номер 071150 от 11.04.95\,г.\\
Подписано в печать ??.??.??. Формат $84\times 108/32$.\\[-0.3ex]
Печать офсетная. Печ.\,л.~$5{,}5$\\[-0.3ex]
Тираж ????. Заказ \номер ?.\\[0.3ex]
        %
МЦНМО\\[-0.3ex]
121002, Москва, Большой Власьевский пер., 11\\[0.3ex]
        %
%отпечатано с оригинал\д макета в АО \лк Астра\д 7\пк\\[-0.3ex]
%121019, Москва, Филипповский п., 13
\end{center}
