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
Paga facilmente con carta, Klarna, Apple Pay o Google Pay. Non sei soddisfatto? Hai sempre 14 giorni per il rimborso. Leggi di più nei nostri termini. Per qualsiasi domanda, scrivici a hello@memmo.org.
Memmo rende lo studio più facile, ovunque tu sia nel mondo. Qui trovi i tuoi libri di testo e strumenti di studio intelligenti, tutto in un unico posto: riassunti, quiz, podcast e flashcard. E poi c'è Ted, il tuo compagno di studio che risponde a ogni tua domanda. Oltre 50.000 studenti studiano già qui: è stato creato per aiutarti a imparare più velocemente e a stressarti meno.
Potrebbe interessarti anche
Acquista il libro0