Элементы универсальной алгебры и ее приложений в информатике, Бениаминов Е.М., Ефимова Е.А., 2004
Элементы универсальной алгебры и ее приложений в информатике, Бениаминов Е.М., Ефимова Е.А., 2004.
I. АЛГЕБРАИЧЕСКИЕ МОДЕЛИ ТИПОВ ДАННЫХ.
Настоящий раздел посвящен алгебраическому моделированию абстрактных типов данных. Вводятся понятия алгебраической системы, сигнатуры, многосортной алгебры, а также абстрактного типа данных и его реализации. Определяются гомоморфизмы реализаций абстрактного типа данных. Приводятся примеры описания типов данных в виде алгебраических систем с равенствами, раскрывающими смысл операций.
В программировании понятие абстрактного типа данных является одним из основных понятий объектно-ориентированного моделирования. В основе объектно-ориентированной реализации абстрактного типа данных лежит понятие класса. Объекты классов - элементов реализаций абстрактного типа данных - можно использовать точно так же, как и значения встроенных типов данных. В определение интерфейса класса входит перечисление имен операций (методов). Соотношения между операциями в программировании чаще всего не описываются, а остаются в головах программистов и выражаются в реализации методов в виде программ. Пользователи классов узнают о соотношениях между операциями в основном по метафоре, стоящей за названиями класса и именами его операций, либо по поведению объектов этих классов и из описания, содержащегося в комментариях к определению класса или в тексте Help, если этот класс системный. В этом разделе на примерах мы пытаемся показать, что соотношения между операциями класса выражают важную часть их смысла.
СОДЕРЖАНИЕ
ВВЕДЕНИЕ.
I. АЛГЕБРАИЧЕСКИЕ МОДЕЛИ ТИПОВ ДАННЫХ.
1.1. Алгебраические системы.
1.2. Примеры алгебраических систем в программировании.
1.3. Абстрактные типы данных.
1.4. Гомоморфизмы и изоморфизмы реализаций абстрактного типа данных.
Задачи и упражнения.
И. НЕКОТОРЫЕ ПОНЯТИЯ ОБЩЕЙ АЛГЕБРЫ И
АБСТРАКТНЫЕ ТИПЫ ДАННЫХ.
2.1. Простейшие абстрактные типы данных.
2.2. Полугруппа.
2.3. Моноид.
2.4. Группа.
2.5. Коммутативная группа.
2.6. Подалгебры.
2.7. Прямая сумма алгебр.
Задачи и упражнения.
III. АБСТРАКТНЫЕ ТИПЫ ДАННЫХ И ИХ ПРИМЕРЫ В ИНФОРМАТИКЕ.
3.1. Абстрактный тип данных с операциями Мах и Mill.
3.2. Решетка с нулем и единицей.
3.3. Дистрибутивная решетка.
3.4. Булева алгебра.
3.5. Описание конечных булевых алгебр.
3.6. Булевы алгебры и алгебры множеств.
Задачи и упражнения.
IV. ИНИЦИАЛЬНЫЕ РЕАЛИЗАЦИИ АБСТРАКТНОГО ТИПА ДАННЫХ.
4.1. Определение и примеры инициальных алгебр.
4.2. Алгебра термов.
4.3. Теорема о существовании инициальной алгебры.
4.4. Вычисления в инициальной алгебре.
'Задачи и упражнения.
V. ОПЕРАЦИИ НАД ТИПАМИ ДАННЫХ.
5.1. Основные определения теории категорий.
5.2. Определение и примеры операций над типами данных.
Задачи и упражнения.
VI. НЕКОТОРЫЕ АЛГЕБРАИЧЕСКИЕ МЕТОДЫ МОДЕЛИРОВАНИЯ В ТЕОРИИ БАЗ ДАННЫХ.
6.1. Отношения и операции над ними.
6.2. Алгебраическое моделирование схем баз данных.
6.3. Определение и примеры реляционных алгебр.
6.4. Примеры схемы базы данных и алгебраических выражений запросов.
Задачи и упражнения.
VII. ПРИЛОЖЕНИЕ.
АЛГЕБРАИЧЕСКИЕ СПЕЦИФИКАЦИИ НЕКОТОРЫХ ТИПОВ ДАННЫХ: упражнения и указания к решениям.
ЛИТЕРАТУРА.
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12899 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Компьютер для женщин
Из видеоуроков вы получите сведения об основных программах, с которыми работают начинающие пользователи, узнаете, как самостоятельно подключиться к сети Интернет, о безопасности при работе в сети и о . . .
-
Создание DVD-дисков с помощью DVD Maestro
Данная книга посвящена описанию программы для создания любительсого и профессионального видео в формате DVD -DVDMaestro.На сегодняшний день на рынке присутствует множество профессиональных программ дл . . .
-
Интернет и электронная почта
Без Интернета и электронной почты невозможно представить современную жизнь. Люди ежедневно сталкиваются с необходимостью отправки сообщений по электронной почте и поиска информации в Интернете. И если . . .
-
Настройки BIOS
Приводятся результаты тестирования. Из этой книги вы узнаете, как повысить производительность компьютера, оптимизировать работу его отдельных систем (процессора, оперативной памяти и т.д.), научитесь . . .
-
Birthday Cakes for Kids
Название: Birthday Cakes for KidsАвтор: КоллективФормат: jpgСтраниц: 92Язык: английскийРазмер файла: 32.58 Мб Детские торты-гамбургер, пчелка, глобус, бабочка, барби, машинки, сделают праздник вашего . . .
-
Вкусные рецепты №6 2009
Название: Вкусные рецепты №6 2009Автор: КоллективГод: 2009Формат: pdfСтраниц: 34Язык: РусскийРазмер файла: 10.41 Мб В номере представлены рецепты, соответствующие самому теплому времени года, их можно . . .
-
Справочник по реестру Windows 7.5 (20.05.2009)
Справочник по реестру Windows - для тех, кто любит самостоятельно изменять значения параметров в реестре. Даны употребительные параметры для самых разных настроек. Обновляется еженедельно."Что нового: . . .
-
Двухканальный усилитель низкой частоты и звуковая колонка
Название: Двухканальный усилитель низкой частоты и звуковая колонка. Массовая радиобиблиотека. Вып. 564Автор: Филатов Игорь СеменовичИздательство: ЭнергияГод издания: 1965Страниц: 16Формат: DJVUРазме . . .
-
Конструкции на неоновой лампе
Название: Конструкции на неоновой лампе. Массовая радиобиблиотека. Вып. 732Автор: Шилов Валентин Федорович Издательство: ЭнергияГод издания: 1970Страниц: 70Формат: DJVUРазмер: 1,1 МБКачество: Отличное . . .
-
Чудеса звука
Название: Чудеса звука. Массовая радиобиблиотека, выпуск 579Автор: З. Паулин Издательство: ЭнергияГод издания: 1965Страниц: 80Формат: DJVUРазмер: 1.4 МБКачество: Отличное, 600 дпи, цветные обложкиРас . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Элементы универсальной алгебры и ее приложений в информатике, Бениаминов Е.М., Ефимова Е.А., 2004. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.