- Tytuł:
-
Hiperobliczalność: maszyny Turinga z czasem nieskończonym
Hypercomputation: Infinite Time Turing Machines - Autorzy:
- Ryniec, Bartłomiej
- Słowa kluczowe:
-
hiperobliczalność, maszyny Turinga z czasem nieskończonym, liczby porządkowe, nieskończone obliczenie, problem stopu, funkcja pracowitego bobra
hypercomputation, Infinite Time Turing Machines, ordinals, transfinite computation, halting problem, busy beaver function - Pokaż więcej
- Dostawca treści:
- Repozytorium Uniwersytetu Jagiellońskiego
Inne