Recomienda este artículo a tus amigos:
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity Nourani, Cyrus F. (Simon Fraser University, British Columbia, Canada) 1.º edición
Precio
$ 111,49
sin IVA
Pedido desde almacén remoto
Entrega prevista 17 de jun. - 6 de jul.
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
También disponible como:
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
| 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 |
