Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity - Cyrus F. Nourani - Kirjat - Apple Academic Press Inc. - 9781774635759 - keskiviikko 31. maaliskuuta 2021
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity 1. Painos

Hinta
€ 104,49

Tilattu etävarastosta

Arvioitu toimitus pe - ti 9. - 20. tammi 2026
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
tai

Löytyy myös muodossa:

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

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 31. maaliskuuta 2021
ISBN13 9781774635759
Tuottaja Apple Academic Press Inc.
Sivujen määrä 310
Mitta 150 × 220 × 10 mm   ·   453 g
Kieli Englanti  

Lisää tuotteita Cyrus F. Nourani

Näytä kaikki