Logique mathématique [ Livre] : cours et exercices, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie de modèles, tome 2 / Cori René
Langue: Français.Publication : Masson, 1994Description : 323 p.ISBN: 2225840806.Classification: 004 InformatiqueRésumé: Sommaire TOME 2 5. RECURSIVITE 1. Fonctions et ensembles récursifs primitifs 2. Fonctions récursives 3. Machines de Turing 4. Les ensembles récursivement énumérables 6. FORMALISATION DE L'ARITHMETIQUE - THEOREMES DE GÖDEL 1. Les axiomes de Peano 2. Les fonctions représentables 3. Arithmétisation de la syntaxe 4. Les théorèmes d'incomplétude et d'indécidabilité 7. THEORIE DES ENSEMBLES 1. Les théories Z et ZF 2. Les ordinaux et les entiers 3. Démonstrations et définitions par induction 4. Cardinalité 5. L'axiome de fondation et le schéma de réflexion 8. UN PEU DE THEORIE DES MODELES 1. Sous-structures et extensions élémentaires 2. Construction d'extensions élémentaires 3. Les théorèmes d'interpolation et de définissabilité 4. Produits réduits et ultraproduits 5. Théorèmes de préservation 6. Les théories aleph-zéro-catégoriques.Sujet - Nom commun: Logique symbolique et mathématique -- Problèmes et exercices| Current location | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|
| ENS Rennes - Bibliothèque Magasin (archives) | 004 COR (Browse shelf) | Available | 004 Informatique | 00002099 |
Sommaire
TOME 2
5. RECURSIVITE
1. Fonctions et ensembles récursifs primitifs
2. Fonctions récursives
3. Machines de Turing
4. Les ensembles récursivement énumérables
6. FORMALISATION DE L'ARITHMETIQUE - THEOREMES DE GÖDEL
1. Les axiomes de Peano
2. Les fonctions représentables
3. Arithmétisation de la syntaxe
4. Les théorèmes d'incomplétude et d'indécidabilité
7. THEORIE DES ENSEMBLES
1. Les théories Z et ZF
2. Les ordinaux et les entiers
3. Démonstrations et définitions par induction
4. Cardinalité
5. L'axiome de fondation et le schéma de réflexion
8. UN PEU DE THEORIE DES MODELES
1. Sous-structures et extensions élémentaires
2. Construction d'extensions élémentaires
3. Les théorèmes d'interpolation et de définissabilité
4. Produits réduits et ultraproduits
5. Théorèmes de préservation
6. Les théories aleph-zéro-catégoriques