Nemokamas pristatymas nuo 29€

  • check 10 + milijonai knygų
  • check Naujienos (kiekvieną dieną)
  • check 1 + mln. klientų mus pasitiki
  • check Geros kainos % Nuolaidos
  • check Nemokamas pristatymas nuo 29 eur

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

Anglų
2021-03-31
156,75 € 209,00 €

-25% su kodu BOOKS

Turime sandėlyje pas mūsų tiekėją

Pristatymas per 15-21 d.d.

30 dienų grąžinimo politika

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

Jums taip pat gali patikti

Aprašymas

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

Daugiau informacijos

Autorius Cyrus F. Nourani
Leidėjas Apple Academic Press
Išleidimo metai 2021
Viršelio tipas Minkšti viršeliai
EAN 9781774635759
Parašykite savo atsiliepimą
Jūs peržiūrėjote: Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
Jūsų įvertinimas:

Goodreads Atsiliepimai

156,75 € 209,00 €