Recomienda este artículo a tus amigos:
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity Cyrus F. Nourani 1.º edición
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 31 de marzo de 2021 |
| ISBN13 | 9781774635759 |
| Editores | Apple Academic Press Inc. |
| Páginas | 310 |
| Dimensiones | 150 × 220 × 10 mm · 453 g |
| Lengua | Inglés |
Mas por Cyrus F. Nourani
Mostrar todoVer todo de Cyrus F. Nourani ( Ej. Hardcover Book y Paperback Book )
Los regalos de Navidad se podrán canjear hasta el 31 de enero