Faites connaître cet article à vos amis:
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity Cyrus F. Nourani 1er édition
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
| Médias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
| Validé | 31 mars 2021 |
| ISBN13 | 9781774635759 |
| Éditeurs | Apple Academic Press Inc. |
| Pages | 310 |
| Dimensions | 150 × 220 × 10 mm · 453 g |
| Langue et grammaire | Anglais |
Plus par Cyrus F. Nourani
Afficher toutVoir tous les Cyrus F. Nourani ( par ex. Hardcover Book et Paperback Book )
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier