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

• Date: 2023
• Author Affiliations: Oleksandr Provotar — д.ф.-м.н., професор, Київський національний університет імені Тараса Шевченка, 03127, Київ, пр. Глушкова 2; Oleksandr Ilkun — Аспірант, Київський національний університет імені Тараса Шевченка, 03127, Київ, пр. Глушкова 2
• Keywords: keywords
• 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...