Algebraic Computability and Enumeration Models
- Recursion Theory and Descriptive Complexity
- Indbinding:
- Hardback
- Sideantal:
- 310
- Udgivet:
- 24. februar 2016
- Størrelse:
- 152x229x23 mm.
- Vægt:
- 544 g.
- 8-11 hverdage.
- 9. december 2024
Normalpris
Abonnementspris
- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
Beskrivelse af Algebraic Computability and Enumeration Models
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 computational complexity areas on a Hilbert program, leading to computability with initial models. Infinite language categories are also introduced to explain descriptive complexity with recursive computability with admissible sets and urelements.
Brugerbedømmelser af Algebraic Computability and Enumeration Models
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Algebraic Computability and Enumeration Models findes i følgende kategorier:
© 2024 Pling BØGER Registered company number: DK43351621