Algebraic Computability and Enumeration Models

Recursion Theory and Descriptive Complexity

AvCyrus F. Nourani

E-bok

PDF, Engelska, 2016

2 347 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

Fler format och utgåvor

Inbunden

1 968 kr

Häftad

1 169 kr

Beskrivning

This book, Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity, 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