Tasuta kohaletoimetamine tellimustele üle 29 €
  • check 10+ miljonit raamatut
  • check Uued tooted iga päev
  • check Meid usaldab üle 1 miljoni kliendi
  • check Hea hind ja allahindlused
  • check Tarne üle kogu Euroopa

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity - Cyrus F. Nourani

inglise keel
2021-03-31
125,40 € 209,00 €

-40% koodiga BOOKS

Meie tarnija laos

Saadetis 15-21 tööpäeva jooksul

30-päevane tagastamisõigus

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õib-olla meeldib sulle ka

Kirjeldus

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

Lisateave

Autor Cyrus F. Nourani
Kirjastaja Apple Academic Press
Väljalaskeaasta 2021
Kaanetüüp Pehme kaanega
EAN 9781774635759
Kirjuta oma arvustus
Te vaatate: Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
Teie hinnang:

Goodreads'i arvustused

125,40 € 209,00 €