Категорії як формальні моделі обчислень

• Date: 2023
• Main Authors: Provotar, Oleksandr, Ilkun, Oleksandr
• Format: Article
• Language: Ukrainian
• Published: Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України 2023
• Subjects: категорія; нечітка множина; рекурсивна функція
• Online Access: https://www.fmmit.lviv.ua/index.php/fmmit/article/view/313
• Journal Title: Physico-mathematical modeling and informational technologies

Various formal models of calculations are considered. In particular, recursive functions, fuzzy models and categorical models. It is shown how functions are calculated based on such models. In each of these models, the concept of number and basic arithmetic operations are i...