Fortæl dine venner om denne vare:
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity Cyrus F. Nourani 1. udgave
Pris
DKK 889
Bestilles fra fjernlager
Forventes klar til forsendelse 8. - 15. jan. 2026
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller
Findes 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
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 31. marts 2021 |
| ISBN13 | 9781774635759 |
| Forlag | Apple Academic Press Inc. |
| Antal sider | 310 |
| Mål | 150 × 220 × 10 mm · 453 g |
| Sprog | Engelsk |
Mere med Cyrus F. Nourani
Vis alleSe alt med Cyrus F. Nourani ( f.eks. Hardcover bog og Paperback Bog )