Tipsa dina vänner om produkten:
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity Cyrus F. Nourani 1:a utgåva
Pris
SEK 1.089
Beställningsvara
Förväntad leverans 5 - 14 jan 2026
Julklappar kan bytas fram till 31:e januari
Lägg till din iMusic-önskelista
eller
Finns även 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öcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
| Releasedatum | 31 mars 2021 |
| ISBN13 | 9781774635759 |
| Utgivare | Apple Academic Press Inc. |
| Antal sidor | 310 |
| Mått | 150 × 220 × 10 mm · 453 g |
| Språk | Engelska |
Fler produkter med Cyrus F. Nourani
Visa allaSe alt med Cyrus F. Nourani ( t.ex. Inbunden Bok och Pocketbok )