Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Бениаминов Е.М., Ефимова Е.А. — Элементы универсальной алгебры и ее приложений в информатике
Бениаминов Е.М., Ефимова Е.А. — Элементы универсальной алгебры и ее приложений в информатике



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Элементы универсальной алгебры и ее приложений в информатике

Авторы: Бениаминов Е.М., Ефимова Е.А.

Аннотация:

Предметом настоящего учебного пособия является алгебра и некоторые ее приложения в информатике. Просто и на доступном для широкого круга читателей уровне вводятся основные понятия универсальной алгебры, которые используются для моделирования в информатике - в программировании и в теории реляционных баз данных. Изложение сопровождается большим количеством примеров и упражнений.
Для студентов и аспирантов, специализирующихся в области прикладной информатики, информационных и интеллектуальных систем, программистов и всех, интересующихся приложениями алгебры к информатике.


Язык: ru

Рубрика: Математика/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 2004

Количество страниц: 167

Добавлена в каталог: 13.08.2008

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Абстрактный тип данных      17 18 78 104 149
Абстрактный тип данных параметрический      114
Абстракция данных      13
Алгебра      9
Алгебра инициальная      79
Алгебра многосортная      9
Алгебра односортная      9
Алгебра свободная      80
Алгебра термов      80
Алгебра, $\Sigma$-алгебра      15
Алгебраическая операция n-арная      7
Алгебраическая операция бинарная      8
Алгебраическая операция бинарная ассоциативная      28
Алгебраическая операция бинарная идемпотентная      54
Алгебраическая операция бинарная коммутативная      22 37
Алгебраическая операция нульарная      8
Алгебраическая операция унарная      8
Алгебраическая система      9
Алгебраическая система многосортная      9
Алгебраическая система односортная      9
Арность алгебраической операции      8
Атом булевой алгебры      63
Атрибут      119
База данных      9 118
База данных реляционная      118
Булева алгебра      60
Булева алгебра максимальных идеалов      70
Булева алгебра подмножеств      61
Булева алгебра простейшая      61
Вычисления в инициальной алгебре      88
Гомоморфизм алгебр      18 39 42 43 44
Группа      31 34
Группа биективных отображений      33
Группа движений      35
Группа коммутативная      37
Группа перестановок      36
Группа преобразований      35
Группа примарная      45
Группа симметрии фигуры      35
Группа циклическая      37 44
Дерево переписывания терма      96
Диаграмма решетки      57
Длина терма      81
Домен атрибута      119
Дополнение элемента булевой алгебры      61
Единица булевой алгебры      60
Единица группы      32
Единица моноида      30
Естественное преобразование      108
Закон поглощения      54 55
Запрос      130
Идеал булевой алгебры      68
Идеал главный      68
Идеал максимальный      69
Изоморфизм      105
Изоморфизм алгебр      18 40
Изоморфизм естественный      109
Имя атрибута      119
Имя множества (области, сорта, типа)      13
Имя операции      14
Имя отношения      14 119
Имя типа данных      10 17
Инволюция      26
Каноническая система термов      88
Категория      104
Категория абстрактных типов данных      112
Категория реализаций абстрактного типа данных      106
Клон операций      116
Ключ      127
Ключ минимальный      127
Кольцо      51
Кольцо изоморфизмов      40
Кольцо коммутативное      51
Кольцо морфизмов      104
Кольцо отображений      28
Кольцо функторов      108
Композиция гомоморфизмов      39
Конгруэнция      85
Критическая пара термов      97
Лемма Цорна      69
Максимум элементов (в решетке)      55
Минимум элементов (в решетке)      55
Множество минимальное      41
Множество образующих алгебры      41
Моноид      30
Морфизм      104
Морфизм абстрактных типов данных      112
Морфизм абстрактных типов данных сохраняющий      113
Морфизм сигнатур      111
Морфизм тождественный      104
Набор атрибутов отношения      119
Неопределенный элемент      13
Несущее множество      9
Нормальная форма терма      93
Нуль булевой алгебры      60
Область      9
Образ алгебры      42
Образующие алгебры      41
Обратный элемент (в группе)      31
Объект      104
Объект инициальный      105
Ограничения целостности базы данных      126
Операция дополнения (в булевой алгебре)      60
Операция над отношениями      120 121
Операция над отношениями декартова произведения      124
Операция над отношениями объединения      121
Операция над отношениями переименования атрибутов      124
Операция над отношениями пересечения      121
Операция над отношениями проекции      121
Операция над отношениями разности      121
Операция над отношениями соединения      122
Операция над типами данных      110
Операция над типами данных, индуцированная морфизмами абстрактных типов данных      113
Операция над типами данных, обратного образа      112
Операция над типами данных, объединения типов      114
Операция над типами данных, прямого образа      113
Операция проекции прямой суммы алгебр      43
Операция частично определенная      10 12
Определяющие соотношения абстрактного типа данных      17
Ответ на запрос      130
Отношение      119
Отношение эквивалентности семантическое      85
Отношение эквивалентности синтаксическое      85
Оценка переменных      15
Оценка терма      16 81
Переписывание      92
Подалгебра      41
Подключение представления пользователя      135
Подстановка термов вместо переменных      81
Подтерм      15
Поле      52
Полугруппа      27
Полурешетка      155
Правило переписывания термов      90
Представление пользователя      134
Прямая сумма алгебр      42
Равенство в сигнатуре      16
Равенство верное в алгебре      16
Разъединенное объединение      26 114 115
Реализация (модель) абстрактного типа данных      17
Реализация (модель) абстрактного типа данных, инициальная      79
Реализация (модель) абстрактного типа данных, машинная      17
Реляционная алгебра      118 132
Реляционная алгебра действительных отношений      131 133
Реляционная алгебра, схемы базы данных      131 133
Решетка      55
Решетка дистрибутивная      59
Решетка недистрибутивная      59 60
Решетка с 0 и 1      58
Сигнатура      13 14
Система правил переписывания      92
Система правил переписывания конечно завершаемая (нетерова)      92
Система правил переписывания однозначно завершаемая (конфлюэнтная)      92
Система правил переписывания сходящаяся      92
Согласование наборов атрибутов      132
Соотношение (в описании типа данных)      10
Сорт      9
Состояние базы данных      130
Состояние схемы отношения      119
Схема базы данных      125
Схема отношения      119
Таблица      119
Таблица Кэли      32
Тезис Кодда      119
Теорема Стоуна      65 70
Терм      14
Терм замкнутый      80
Тип      9
Тип алгебраической операции      8
Тип атрибута      131
Тип данных      10
Тип переменной      14
Тип терма      15
Точная верхняя грань      74
Точная нижняя грань      74
Траектория      26
Унифицируемые термы      97
Факторалгебра      85
Форма записи инфиксная      28
Форма записи префиксная      28
Функтор      107
Функтор тождественный      108
Функциональная зависимость      126
Функция логическая      8
Функция предикатная      8
Эквивалентность схем баз данных      135
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте