Logique mathématique : 2 : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés

Logique mathématique : 2 Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles cours et exercices corrigés

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.

Détails bibliographiques
Auteurs principaux : Cori René (Auteur), Lascar Daniel (Auteur)
Autres auteurs : Krivine Jean-Louis (Préfacier)
Format : Manuel
Langue : français
Titre complet : Logique mathématique. 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés / René Cori,... Daniel Lascar,...; préface de Jean-Louis Krivine
Publié : Paris : Dunod , DL 2003
Description matérielle : 1 vol. (XV-347 p.)
Collection : Sciences sup
Sujets :
Fonctions récursives
Gödel, Théorème de
Théorie des ensembles
Théorie des modèles
Logique
Mathématiques
Manuels d'enseignement supérieur
Problèmes et exercices
  • Chapitre 5. Récursivité
  • Chapitre 6. Formalisation de l'arithmétique. Théorèmes de Gödel
  • Chapitre 7. Théorie des ensembles
  • Chapitre 8. Un peu de théorie des modèles -
  • Solutions des exercices du tome II.