Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity - Cyrus F. Nourani - Böcker - Apple Academic Press Inc. - 9781774635759 - 31 mars 2021
Om omslag och titel inte matchar är det titeln som gäller

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity 1:a utgåva

Pris
SEK 1.089

Beställningsvara

Förväntad leverans 5 - 14 jan 2026
Julklappar kan bytas fram till 31:e januari
Lägg till din iMusic-önskelista
eller

Finns även som:

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 Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 31 mars 2021
ISBN13 9781774635759
Utgivare Apple Academic Press Inc.
Antal sidor 310
Mått 150 × 220 × 10 mm   ·   453 g
Språk Engelska  

Fler produkter med Cyrus F. Nourani

Visa alla