Яворская Т.Л. - Математическая логика - 15. Теория алгоритмов
«Лекции по математической логике и теории алгоритмов
Часть 3. Вычислимые функции» Николай Константинович Верещагин, Александр Ханьевич Шень Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота,...