Rayon Mathématiques
Fiche technique
Format : Broché
Nb de pages : XV-347 pages
Poids : 638 g
Dimensions : 17cm X 24cm
ISBN : 978-2-10-080770-3
EAN : 9782100807703
Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles
cours, exercices corrigés
Chez
Dunod
Série |
Logique mathématique
Collection(s) |
Sciences sup
Paru le 04/02/2020
Broché
XV-347 pages
préface de Jean-Louis Krivine
Licence
Quatrième de couverture
Présente successivement les problèmes de récursivité et de formalisation de l'arithmétique, les théorèmes de Gödel, la théorie des ensembles ainsi que la théorie des modèles. Chaque chapitre est accompagné de nombreux exercices corrigés.
