Algebraic Computability and Enumeration Models

Recursion Theory and Descriptive Complexity

Nourani, Cyrus F. | Autoři

Vše od Apple Academic Press Inc.
ISBN: 9781774635759

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...

Více o produktu


Nejprodávanější produkty v aktuálním měsíci.

2 594 Kč

1 - 2 ks
2 594 Kč
3 - 10 ks
2 568 Kč
11 a více ks
2 543 Kč

Předpoklad doručení do 27. května *

* Termín expedice je odhadovaný a může se mírně upravit podle termínu dodání od našeho dodavatele. Pokud by došlo ke změně, vždy vás budeme včas informovat.

2 594 Kč

Nepřehlédněte od Apple Academic Press Inc.

Více o produktu

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

Výrobce
Apple Academic Press Inc.
Jazyk
Canada
Autor
Nourani, Cyrus F.
Rozměry
229 x 152
Rok vydání
2021
Počet stran
310
Obsah
Paperback / softback
Hmotnost
453
Počet stran
310 pages

Zanechte své hodnocení

Budeme rádi, když se podělíte o svou zkušenost s Algebraic Computability and Enumeration Models a pomůžete tak ostatním zákazníkům při výběru.

Navíc každý měsíc losujeme jednoho z těch, kteří nám zanechali recenzi, a obdarujeme ho kuponem na nákup v hodnotě 500 Kč. Možná právě Vy budete tím šťastným – držíme palce!