Математическая логика и теория алгоритмов. Вычислимые функции. Н.К. Верещагин,А. Шень
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные...