Logique mathématique
T 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles
Ce deuxième tome est plus particulièrement consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles.
Expédié sous 24h
Livraison en France métropolitaine uniquement
Accès rapide
Présentation du livre
Ce deuxième tome est plus particulièrement consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles.
Sommaire de l'ouvrage
Récursivité. Formalisation de l'arithmétique. Théorèmes de Gödel. Théorie des ensembles. Un peu de théorie des modèles. Solutions des exercices.
Auteur(s) de l'ouvrage
Caractéristiques du livre
Pages
368 pages
Format
170 x 240 mm
Collection
Sciences Sup
Parution
février 2020
Marque
Dunod
Public
Bac +4/5
EAN
9782100807703