Алгоритмы и рекурсивные функции
Zusammenfassung
Посвящается одному из актуальных и бурно развивающихся разделов математической логики — теории алгоритмов, а также важнейшим ее связям с другими разделами математики. Является одним из лучших пособий для знакомства с основными направлениями, идеями и методами теории алгоритмов.
В текст второго издания книги внесены лишь самые несущественные изменения. Исправлены некоторые неточности. Изменено доказательство утверждения Ж) в п. 5.4. В п. 8.4 приведено другое, более короткое и прозрачное, доказательство теоремы о существовании максимальных множеств.
Collections
- Libgen [81666]