Розглядається зображення абстрактних типів даних у вигляді многоосновних алгебраїчних систем. Детально розглядається два абстрактних типи даних: натуральні числа та списки.
Рассматривается изображение абстрактных типов данных в виде многоосновных алгебраических систем. Детально рассматривается два абстрактных типа данных: натуральные числа и списки.
The image of abstract data types is examined as manysorted algebraic systems. Two abstract data types are in detail examined: natural numbers and lists.
