Аннотация: Описывается абстрактный тип данных ``натуральное число'' как многоосновная алгебраическая система, пополненная операторами рекурсии и индукции. Исследуются пределы, до которых распространяется действие рекурсии и индукции на множества, отличные от множества натуральных чисел. Ключевые слова: многоосновные алгебры, абстрактный тип данных, трансфинитная рекурсия.

Keywords: MSC, verification, RAD.

ACM Classification Keywords: D.2.4 Software/Program Verification - Formal methods

Link:

МНОГООСНОВНЫЕ АЛГЕБРЫ, АБСТРАКТНЫЕ ТИПЫ ДАННЫХ И ТРАНСФИНИТНАЯ РЕКУРСИЯ

Крывый С.Л.

http://foibg.com/ijitk/ijitk-vol05/ijitk05-3-p03.pdf