|
|
libcats.org
Алгоритмы и рекурсивные функцииМальцев А.Н.Аннотация: Посвящается одному из актуальных и бурно развивающихся разделов математической логики' теории алгоритмов, а также важнейшим ее связям с другими разделами математики. Является одним из лучших пособий для знакомства с основными направлениями, идеями и методами теории алгоритмов. Для математиков различных специальностей: научных работников, аспирантов и студентов. Другие книги А.И. Мальцева на сайте: Мальцев А.И. Избранные труды, в 2-х томах Другие книги по математической логике и теории алгоритмов на сайте: Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов Крайзель Г. Исследования по теории доказательств Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику Клини С.К. Математическая логика Гохман А.В. Сборник задач по математической логике и алгебре множеств Гилберт Д., Аккерман В. Основы теоретической логики Гилберт Д., Бернайс П. Основания математики Р. Грэхем, Д. Кнут, О. Паташник Конкретная математика. Основание информатики
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Redistribution or Recognition?: A Political-Philosophical Exchange (pages 1-197)Автор: Nancy Fraser, Автор: Axel HonnethКатегория: Общественные науки прочие, Философия
Размер книги: 9.31 Mb
Tasting Food, Tasting Freedom: Excursions into Eating, Power, and the PastАвтор: Sidney Mintz
Размер книги: 323 Kb
Risking Her HeartАвтор: Allison Liz, Автор: Etherington WendyКатегория: fiction
Размер книги: 291 Kb
|
|
|