Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Comp... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Mængdelære
  6. Diskret matematik
  7. Algebra
  8. Geometri
  9. Algebraic Computability and Enumeration Models: Recursion...

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

(Bog, Paperback / softback, Engelsk)
Forfatter: Cyrus F. Nourani
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
Forlag: Apple Academic Press Inc.

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Algebra Diskret matematik Geometri Matematisk logik Mængdelære
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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

Læsernes anmeldelser (0)

Alle detaljer

Forlag Apple Academic Press Inc.
Forfatter Cyrus F. Nourani
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgivelsesdato 31-03-2021
Første udgivelsesår 2021
Originalsprog Canada
Sideantal 310
Indbinding Paperback / softback
Forlag Apple Academic Press Inc.
Sideoplysninger 310 pages
Mål 229 x 152
ISBN-13 / EAN-13 9781774635759