x-uni.com
регистрация / вход
сейчас на линии 103 чел.
x-uni.com
x-uni.com
 
Математика
Биология
Литература
Русский язык
ВИДЕО
Физика
Химия
История
Английский
 
ВИДЕО
 
 
регистрация / вход
сейчас на линии 103 чел.
Элементы универсальной алгебры и ее приложений в информатике, Бениаминов Е.М., Ефимова Е.А., 2004

Элементы универсальной алгебры и ее приложений в информатике, Бениаминов Е.М., Ефимова Е.А., 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. ПРИЛОЖЕНИЕ.
АЛГЕБРАИЧЕСКИЕ СПЕЦИФИКАЦИИ НЕКОТОРЫХ ТИПОВ ДАННЫХ: упражнения и указания к решениям.
ЛИТЕРАТУРА.

Скачать бесплатно на сайте fileskachat.com
Скачать бесплатно на сайте yadi.sk

Предложения интернет-магазинов

Информатика и ИКТ. Подготовка к ЕГЭ. Элементы алгебры логики. Решения заданий А3, А10, В15

Автор(ы): Евич Людмила Николаевна   Издательство: Легион, 2014 г.  Серия: Готовимся к ЕГЭ

Цена: 65 руб.   Купить

Предлагаемое пособие представляет собой сборник задач с решениями по теме "Элементы алгебры логики". Основные разделы книги посвящены рассмотрению решений задач типа А3, А10 и В15, соответствующих актуальному демонстрационному варианту и спецификации. В отдельный раздел вынесены задачи, предлагаемые в разные годы на ЕГЭ начиная с 2009 года. Издание адресовано учащимся 10-11-х классов, готовящимся к ЕГЭ по информатике и ИКТ, и учителям, которые организуют процесс подготовки к экзамену. Книга является дополнением к учебно-методическому комплексу "Информатика и ИКТ. Подготовка к ЕГЭ". Допущено Министерством образования и науки Российской Федерации.


Ответы, решения и комментарии к универсальной рабочей тетради по экономике

Автор(ы): Киреев Алексей Павлович   Издательство: Вита-Пресс, 2010 г.  Серия: Экономика

Цена: 159 руб.   Купить

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


Подготовка к ЕГЭ по информатике. Оптимальные способы выполнения заданий

Автор(ы): Чупин Николай Александрович   Издательство: Феникс, 2013 г.  Серия: Абитуриент

Цена: 110 руб.   Купить

Обсуждаются оптимальные способы решения задач ЕГЭ по информатике на примере демонстрационного варианта ЕГЭ 2013 года. Для учащихся при подготовке к ЕГЭ по информатике и учителей информатики.


Математические диктанты. Алгебра и начала анализа. 7-11 классы. Дидактические материалы

Автор(ы): Левитас Герман Григорьевич   Издательство: Илекса, 2014 г.

Цена: 100 руб.   Купить

Дидактические материалы содержат диктанты по всему курсу алгебры (включая элементы анализа в старших классах). Каждый диктант посвящен разным, ранее пройденным, темам курса алгебры и анализа. Рекомендуется проводить диктанты в начале урока. Число вопросов в диктанте равно пяти (это удобно для оценивания результата работы). Характер вопросов таков, что не требуется особой сообразительности для верного ответа. Нужно только хорошо знать материал. Целью проведения предлагаемых диктантов является систематическое повторение всего ранее изученного материала. Вопросы даны в такой системе, чтобы каждый элемент курса всплывал перед учащимися с определенной периодичностью и систематичностью.

ПЕДСОВЕТ / ФОРУМ

Новости образования

Новости науки

флаг италииX-UNI рекомендует репетитора итальянского языка: yuliyavenezia (Скайп).

Репетитор по Скайпу без посредников

Неограниченная аудитория, свободный график. Начните свой бизнес здесь!