Vertel uw vrienden over dit artikel:
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity Nourani, Cyrus F. (Simon Fraser University, British Columbia, Canada) 1e uitgave
Prijs
€ 108,49
Besteld in een afgelegen magazijn
Verwachte levering 9 - 23 nov.
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Ontvang meldingen over nieuwe releases van Nourani, Cyrus F. (Simon Fraser University, British Columbia, Canada)
Voeg toe aan uw iMusic-verlanglijst
of
Ook verkrijgbaar als:
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
Nourani, Cyrus F. (Simon Fraser University, British Columbia, Canada)
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 | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 31 maart 2021 |
| ISBN13 | 9781774635759 |
| Uitgevers | Apple Academic Press Inc. |
| Pagina's | 310 |
| Afmetingen | 150 × 220 × 10 mm · 453 g |
| Taal en grammatica | Engels |