Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity - Cyrus F. Nourani - Bøger - Apple Academic Press Inc. - 9781774635759 - 31. marts 2021
Ved uoverensstemmelse mellem cover og titel gælder titel

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity 1. udgave

Cyrus F. Nourani

Pris
CA$ 189,36

Bestilles fra fjernlager

Forventes klar til forsendelse 24. - 31. jul.
Tilføj til din iMusic ønskeseddel
Eller

Findes også som:

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity 1. udgave

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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 31. marts 2021
ISBN13 9781774635759
Forlag Apple Academic Press Inc.
Antal sider 310
Mål 453 g
Sprog Engelsk  

Vis alle

Mere med Cyrus F. Nourani