Досліджуються властивості абстрактних типів даних, зображених у вигляді многоосновних алгебраїчних систем. Детально розглядаються такі абстрактні типи даних: стеки, черги, черги з пріоритетами, бінарні дерева та множини.
Рассматривается изображение абстрактных типов данных в виде многоосновных алгебраических систем. Детально рассматривается такие абстрактные типы данных: стэки, очереди, очереди с приоритетами, бинарные деревья и множества.
The image of abstract data types is examined as manysorted algebraic systems. The abstract data tape as stack, queues, priority queues, binary trees and set are examined in details.
