Algebraic Computability and Enumeration Models - Nourani, Cyrus F.
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtrePrix neuf 188,08 €
Qu'est-ce que le prix barré ?
C'est le prix de vente au public, fixé par l'éditeur ou l'importateur, pour le même article neuf.
En savoir plus152,00 €
Occasion · Comme Neuf
Ou 38,00 € /mois
- Livraison : 25,00 €
- Livré entre le 30 avril et le 7 mai
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Algebraic Computability And Enumeration Models Format Broché - Livre Littérature Générale
0 avis sur Algebraic Computability And Enumeration Models Format Broché - Livre Littérature Générale
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Enseignement Oral De Platon: Une Nouvelle Interprétation Du Platonisme (French Edition)
Occasion dès 149,99 €
-
Bsava Manual Of Canine And Feline Abdominal Imaging
Neuf dès 133,81 €
-
Kandinsky Watercolours: Catalogue Raisonne: V. 1: 1900-21
Occasion dès 213,92 €
-
L'art Russe Allenov Citadelle
Occasion dès 129,99 €
-
The Viniyoga Of Yoga, Applying Yoga For Healthy Living
Occasion dès 199,00 €
-
A First Course In The Finite Element Method, Enhanced Edition, Si Version
Neuf dès 159,25 €
-
Handbag Book
Neuf dès 79,61 €
Occasion dès 146,34 €
-
Caractère Chinois Étymologie Graphies Lexiques Wieger
Occasion dès 120,00 €
-
Stone Age - Ancient Castles Of Europe
1 avis
Occasion dès 137,99 €
-
Athenaze, Book I
Neuf dès 110,94 €
-
Ultrasound Of The Musculoskeletal System
Neuf dès 223,38 €
-
Athenaze, Book Ii
Neuf dès 132,48 €
Occasion dès 218,61 €
-
Dance Techniques 2010: Tanzplan Germany [With 2 Dvds]
Occasion dès 208,99 €
-
Echoes Of Exile
1 avis
Occasion dès 195,99 €
-
Air Fryer Ig Bas Facile: 300 Recettes Rapides Et Sans Effort (La Cuisine Ig Bas Facile)
3 avis
Occasion dès 199,00 €
-
Arias For Mezzo-Soprano Book/Online Audio
Occasion dès 79,99 €
-
Ravage
Occasion dès 121,99 €
-
Principles Of Algebraic Geometry
Occasion dès 140,12 €
-
Mosby's Orthodontic Review
Neuf dès 182,45 €
-
Maison Martin Margiela : Street Special Edition Volumes 1 & 2
Occasion dès 190,00 €
Produits similaires
Présentation Algebraic Computability And Enumeration Models Format Broché
- Livre Littérature Générale
Résumé :
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 for languages. Functorial models for Peano arithmetic are described toward important computational complexity areas on a Hilbert program, leading to computability with initial models. Infinite language categories are also introduced to explain descriptive complexity with recursive computability with admissible sets and urelements. Algebraic and categorical realizability is staged on several levels, addressing new computability questions with omitting types realizably. Further applications to computing with ultrafilters on sets and Turing degree computability are examined. Functorial models computability is presented with algebraic trees realizing intuitionistic types of models. New homotopy techniques are applied to Marin Lof types of computations with model categories. Functorial computability, induction, and recursion are examined in view of the above, presenting new computability techniques with monad transformations and projective sets. This informative volume will give readers a complete new feel for models, computability, recursion sets, complexity, and realizability. This book pulls together functorial thoughts, models, computability, sets, recursion, arithmetic hierarchy, filters, with real tree computing areas, presented in a very intuitive manner for university teaching, with exercises for every chapter. The book will also prove valuable for faculty in computer science and mathematics....
Détails de conformité du produit
Personne responsable dans l'UE