Conte aos seus amigos sobre este item:
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity Cyrus F. Nourani 1º edição
Preço
€ 101,49
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 25 de set - 9 de out
Receba avisos sobre novos lançamentos de Cyrus F. Nourani
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Também disponível como:
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ídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 31 de março de 2021 |
| ISBN13 | 9781774635759 |
| Editoras | Apple Academic Press Inc. |
| Páginas | 310 |
| Dimensões | 150 × 220 × 10 mm · 453 g |
| Idioma | Inglês |
