Monographie

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 / Cori, René ; Lascar, Daniel 701$f 1942-....

Type de contenu

• Texte

Type de médiation

• sans médiation

Titre(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 / Cori, René ; Lascar, Daniel 701$f 1942-....

Auteur(s)

• Cori, René

Autre(s) auteur(s)

• Lascar, Daniel (1942-....)

Autre(s) responsabilité(s)

• Krivine, Jean-Louis (1939-....) (Préfacier)

Editeur, producteur

• Paris : Dunod, 2003

Description matérielle

• XV-347 p. ; 24 cm

Collection

• Sciences sup Cours et exercices corrigés

ISBN

• 2-10-005452-X
• 2-10-005453-8

Appartient à la collection

• Sciences sup 1636-2217 2003

Classification décimale Dewey

• 511.307 6 23

Note sur les bibliographies et les index

• Bibliogr. p. 323-325. Index

Note sur le contenu

• 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats ; 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles

Résumé ou extrait

• Cet ouvrage traite de manière détaillée des domaines fondamentaux de la logique mathématique. Ce volume 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.

Sujet(s)

• fonction : mathématiques
• logique mathématique
• mathématiques : discipline
• théorie des ensembles

Sujet - Nom commun

• Logique mathématique

Forme, genre ou caractéristiques physiques

• Problèmes et exercices

Lien copié.

Pour une utilisation optimale, nous vous recommandons d'utiliser les navigateurs tel que Firefox, ou Edge

Build V.5.2.2 - 2ecb916194 (29/04/2026 07:35:08)