|
|
libcats.org
Универсальная алгебра, алгебраическая логика и базы данныхПлоткин Б.И.Аннотация: Излагается одна из возможных точно математически обоснованных математических моделей'баз данных?? важнейшего понятия программирования. Развиваются алгебраические, в частности, категорные основы теории, различные подходы, направленные на алгебраизацию узкого исчисления предикатов, алгебраические модели базы данных. Дается обзор проблем теории баз данных и сопоставлены различные подходы исследований в этой области. Для специалистов в области алгебры и математической логики, а также в теоретическом и практическом программировании. От себя: IMHO, одна из лучших книг в этой области, которая дает наконец понимание того, зачем же вообще в жизни нужна абстрактная алгебра, кроме как для умозрительных заключений :) Другие книги по математической логике на сайте: Никольская И.Л. Математическая логика Мендельсон Э. Введение в математическую логику Мальцев А.Н. Алгоритмы и рекурсивные функции Мальцев А.И. Избранные труды, в 2-х томах Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов Крайзель Г. Исследования по теории доказательств Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику Клини С.К. Математическая логика Гохман А.В. Сборник задач по математической логике и алгебре множеств Гилберт Д., Аккерман В. Основы теоретической логики Гилберт Д., Бернайс П. Основания математики Р. Грэхем, Д. Кнут, О. Паташник Конкретная математика. Основание информатики Другие книги по общей алгебре на сайте: Мальцев А.И. Избранные труды, в 2-х томах Ленг С. Алгебра Курош А.Г. Теория групп Курош А.Г. Общая алгебра Кострикин А.И. Сборник задач по алгебре Кострикин А.И. Введение в алгебру. Основы алгебры Кон П. Универсальная алгебра Биркгоф Г., Барти Т. Современная прикладная алгебра Биркгоф Г. Теория решеток Биркгоф Г. Теория структур Гретцер Г. Общая теория решеток Гохман А.В. Сборник задач по математической логике и алгебре множеств Бурбаки Н. Основные структуры анализа Бурбаки Н. Алгебра. Том 1. Алгебраические структуры. Линейная и полилинейная алгебра Бурбаки Н. Алгебра. Том 2. Многочлены и поля Бурбаки Н. Алгебра. Том 3. Модули, кольца, формы Бурбаки Н. Алгебра. Том 4. Гомологическая алгебра
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Czerwone dywany, Odmierzony krokАвтор: Ziemkiewicz Rafał A.Категория: Научная Фантастика
Размер книги: 507 Kb
Modeling Complex Systems (Graduate Texts in Contemporary Physics)Автор: Nino Boccara
Размер книги: 11.30 Mb
100.chelovek.kotorie.izmenili.hod.istorii.2008.Vipusk.050.Aleksandr.Pushkin.pdfАвтор:
Размер книги: 25.29 Mb
Learning to Teach: A Handbook for Primary and Secondary School Teachers, 2nd EditionАвтор: Gill NichollsКатегория: Образование
Размер книги: 1.88 Mb
По тропам наукиАвтор: Де Бройль Л.(de Broglie)Категория: P_Physics, PPop_Popular-level
Размер книги: 3.51 Mb
Oxford Dictionary of Finance and BankingАвтор: Brian Butler, Автор: David Butler, Автор: Alan Isaacs, Автор: editors
Размер книги: 681 Kb
|
|
|