Algebraic Computability and Enumeration Models

Recursion Theory and Descriptive Complexity

AvCyrus F. Nourani

E-bok
PDF, Engelska, 2016

2 271 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 982 kr

Häftad

1 178 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

Produktinformation

Utforska kategorier

Hoppa över listan

Mer från samma författare

Hoppa över listan

Du kanske också är intresserad av