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

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