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

• Datum: 2023
• Hauptverfasser: Provotar, Oleksandr, Ilkun, Oleksandr
• Format: Artikel
• Sprache: Ukrainisch
• Veröffentlicht: Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України 2023
• Schlagworte: категорія; нечітка множина; рекурсивна функція
• Online Zugang: https://www.fmmit.lviv.ua/index.php/fmmit/article/view/313
• Назва журналу: 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...