Freunden von diesem Artikel berichten:
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity Cyrus F. Nourani 1. Ausgabe
Preis
SFr. 88,49
exkl. MwSt.
Bestellware
Lieferdatum: ca. 12. - 21. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
Auch vorhanden als:
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
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 31. März 2021 |
| ISBN13 | 9781774635759 |
| Verlag | Apple Academic Press Inc. |
| Seitenanzahl | 310 |
| Maße | 150 × 220 × 10 mm · 453 g |
| Sprache | Englisch |
Weitere Titel von Cyrus F. Nourani
Alle anzeigenAlle Titel von Cyrus F. Nourani ansehen ( u. a. Gebundenes Buch und Taschenbuch )