УНИВЕРСАЛЬНАЯ И ЭКЗИСТЕНЦИАЛЬНАЯ ОПРЕДЕЛИМОСТЬ

Abstract

Под структурой данных понимается многосортная модель, обладающая эффективной реализацией. Это понятие является фундаментальным в теоретической информатике