Kaikki kirjat 25 % alennuksella koodilla: BOOKS

  • check Yli 10 miljoonaa kirjaa
  • check Uutuuksia joka päivä
  • check Yli 1 miljoona asiakasta luottaa meihin
  • check Hyvät hinnat ja alennukset
  • check Toimitus koko Eurooppaan

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

englanti
2021-03-31
156,75 € 209,00 €

-25% koodilla BOOKS

Toimittajalla varastossa

Toimitus 15-21 arkipäivässä

30 päivän palautusoikeus

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

Saatat myös pitää

Kuvaus

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

Lisätietoja

Kirjoittaja Cyrus F. Nourani
Julkaisija Apple Academic Press
Julkaisuvuosi 2021
Kannen tyyppi Pehmeäkantinen
EAN 9781774635759
Kirjoita oma arvostelusi
Arvostelet: Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
Arvostelusi:

Goodreads-arvostelut

156,75 € 209,00 €