|
|
libcats.org
Алгоритмы и рекурсивные функцииМальцев А.Н.Аннотация: Посвящается одному из актуальных и бурно развивающихся разделов математической логики' теории алгоритмов, а также важнейшим ее связям с другими разделами математики. Является одним из лучших пособий для знакомства с основными направлениями, идеями и методами теории алгоритмов. Для математиков различных специальностей: научных работников, аспирантов и студентов. Другие книги А.И. Мальцева на сайте: Мальцев А.И. Избранные труды, в 2-х томах Другие книги по математической логике и теории алгоритмов на сайте: Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов Крайзель Г. Исследования по теории доказательств Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику Клини С.К. Математическая логика Гохман А.В. Сборник задач по математической логике и алгебре множеств Гилберт Д., Аккерман В. Основы теоретической логики Гилберт Д., Бернайс П. Основания математики Р. Грэхем, Д. Кнут, О. Паташник Конкретная математика. Основание информатики
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Методические указания и индивидуальные задания к изучению темы «Резьбовые соединения»Автор: Рудакова А. Б., Автор: Ерихова Ю. Б.
Размер книги: 151 Kb
Sedimentary GeologyАвтор: Bernard Biju-duvalКатегория: Chemistry-Environmental-Material
Размер книги: 61.67 Mb
Numerical techniques in financeАвтор: Simon BenningaКатегория: F_Finance, FN_Numerical
Размер книги: 762 Kb
Logic-Based Program Synthesis and Transformation - LOPSTR 2010Автор: María Alpuente
Размер книги: 4.01 Mb
|
|
|