##article.return## Використання категорій як абстрактних структур для формалізації моделей обчислень Завантажити ##common.downloadPdf##