Аннотация: Посвящается одному из актуальных и бурно развивающихся разделов математической логики' теории алгоритмов, а также важнейшим ее связям с другими разделами математики. Является одним из лучших пособий для знакомства с основными направлениями, идеями и методами теории алгоритмов. Для математиков различных специальностей: научных работников, аспирантов и студентов. Другие книги А.И. Мальцева на сайте: Мальцев А.И. Избранные труды, в 2-х томах Другие книги по математической логике и теории алгоритмов на сайте: Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов Крайзель Г. Исследования по теории доказательств Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику Клини С.К. Математическая логика Гохман А.В. Сборник задач по математической логике и алгебре множеств Гилберт Д., Аккерман В. Основы теоретической логики Гилберт Д., Бернайс П. Основания математики Р. Грэхем, Д. Кнут, О. Паташник Конкретная математика. Основание информатики

Скачать книгу бесплатно (djvu, 4.38 Mb)

---

Читать «Алгоритмы и рекурсивные функции»