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

Pris
DKK 889

Bestilles fra fjernlager

Forventes klar til forsendelse 8. - 15. jan. 2026
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller

Findes også 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

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 150 × 220 × 10 mm   ·   453 g
Sprog Engelsk  

Mere med Cyrus F. Nourani

Vis alle