Алгоритмы и рекурсивные функции

Abstract

Посвящается одному из актуальных и бурно развивающихся разделов математической логики — теории алгоритмов, а также важнейшим ее связям с другими разделами математики. Является одним из лучших пособий для знакомства с основными направлениями, идеями и методами теории алгоритмов. В текст второго издания книги внесены лишь самые несущественные изменения. Исправлены некоторые неточности. Изменено доказательство утверждения Ж) в п. 5.4. В п. 8.4 приведено другое, более короткое и прозрачное, доказательство теоремы о существовании максимальных множеств.