Категорії як формальні моделі обчислень
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...
Saved in:
| Date: | 2023 |
|---|---|
| Author Affiliations: |
|
| Keywords: | keywords |
| Main Authors: | , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України
2023
|
| Subjects: | |
| Online Access: | https://www.fmmit.lviv.ua/index.php/fmmit/article/view/313 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Physico-mathematical modeling and informational technologies |
| Download file: |
|
Institution
Physico-mathematical modeling and informational technologies| Summary: | 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 introduced. It is concluded that the considered formal models of calculations can be represented within certain categories and an abstract theory of computability and relevant programming languages can be built on a categorical basis. That is, we are talking about the creation of a universal programming language in which it would be possible to describe problems from various subject areas by interpreting them in the appropriate categories with the futher use of a universal categorical apparatus for their solution. Such a language should be oriented to scientific problems. |
|---|