Категорії як формальні моделі обчислень
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...
Gespeichert in:
| Datum: | 2023 |
|---|---|
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України
2023
|
| Schlagworte: | |
| Online Zugang: | https://www.fmmit.lviv.ua/index.php/fmmit/article/view/313 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Physico-mathematical modeling and informational technologies |
| Завантажити файл: |  |
Institution
Physico-mathematical modeling and informational technologies| Zusammenfassung: | 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. |
|---|