Pastāsti draugiem par šo preci:
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity Nourani, Cyrus F. (Simon Fraser University, British Columbia, Canada) 1. izdevums
Cena
€ 106,49
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 4. - 18. sept.
Saņemiet paziņojumus par jauniem Nourani, Cyrus F. (Simon Fraser University, British Columbia, Canada) izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Pieejams arī kā:
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2021. gada 31. marts |
| ISBN13 | 9781774635759 |
| Izdevēji | Apple Academic Press Inc. |
| Lapas | 310 |
| Izmēri | 150 × 220 × 10 mm · 453 g |
| Valoda | Angļu |
