Zobrazeno 1 - 10
of 1 620
pro vyhledávání: '"Computability theory"'
Autor:
Vladimir A. Kulyukin
Publikováno v:
Mathematics, Vol 12, Iss 18, p 2881 (2024)
Signifiable computability aims to separate what is theoretically computable from what is computable through performable processes on computers with finite amounts of memory. Real numbers and sequences thereof, data types, and instances are treated as
Externí odkaz:
https://doaj.org/article/6fe59bbe0aca44f581ab1b4056aefedd
Autor:
Pratt-Hartmann, Ian, author
Publikováno v:
Fragments of First-Order Logic, 2023.
Externí odkaz:
https://doi.org/10.1093/oso/9780192867964.003.0001
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Vladimir A. Kulyukin
Publikováno v:
Mathematics, Vol 11, Iss 20, p 4309 (2023)
We show that, for a primitive recursive function h(x,t), where x is a n-tuple of natural numbers and t is a natural number, there exists a feedforward artificial neural network N(x,t), such that for any n-tuple of natural numbers z and a positive nat
Externí odkaz:
https://doaj.org/article/0e41a23d84de477e8af2de075187ade0
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Vladimir A. Kulyukin
Publikováno v:
Mathematics, Vol 11, Iss 12, p 2620 (2023)
When realized on computational devices with finite quantities of memory, feedforward artificial neural networks and the functions they compute cease being abstract mathematical objects and turn into executable programs generating concrete computation
Externí odkaz:
https://doaj.org/article/8e891af8d64d4b1080e9a789c6e9f893
