Fortell venner om denne varen:
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity Cyrus F. Nourani 1. utgave
Pris
NOK 1.129
Bestillingsvarer
Forventes levert 9. - 20. jan 2026
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller
Finnes også som:
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
Cyrus F. Nourani
This book presents new techniques with functorial models to address important areas on pure mathematics and computability theory from the algebraic viewpoint. The reader is first introduced to categories and functorial models, with Kleene algebra examples for languages. Functorial models for Peano arithmetic are described toward important comput
310 pages
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 31. mars 2021 |
| ISBN13 | 9781774635759 |
| Utgivere | Apple Academic Press Inc. |
| Antall sider | 310 |
| Mål | 150 × 220 × 10 mm · 453 g |
| Språk | Engelsk |