Бениаминов

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

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

I. АЛГЕБРАИЧЕСКИЕ МОДЕЛИ ТИПОВ ДАННЫХ.
Настоящий раздел посвящен алгебраическому моделированию абстрактных типов данных. Вводятся понятия алгебраической системы, сигнатуры, многосортной алгебры, а также абстрактного типа данных и его реализации. Определяются гомоморфизмы реализаций абстрактного типа данных. Приводятся примеры описания типов данных в виде алгебраических систем с равенствами, раскрывающими смысл операций.
В программировании понятие абстрактного типа данных является одним из основных понятий объектно-ориентированного моделирования. В основе объектно-ориентированной реализации абстрактного типа данных лежит понятие класса. Объекты классов - элементов реализаций абстрактного типа данных - можно использовать точно так же, как и значения встроенных типов данных. В определение интерфейса класса входит перечисление имен операций (методов). Соотношения между операциями в программировании чаще всего не описываются, а остаются в головах программистов и выражаются в реализации методов в виде программ. Пользователи классов узнают о соотношениях между операциями в основном по метафоре, стоящей за названиями класса и именами его операций, либо по поведению объектов этих классов и из описания, содержащегося в комментариях к определению класса или в тексте Help, если этот класс системный. В этом разделе на примерах мы пытаемся показать, что соотношения между операциями класса выражают важную часть их смысла.

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

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