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: F 4 1 Logique mathématiqueRé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
Informatique
F 4 1 COR (Browse shelf) Available F 4 1 Logique mathématique 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

Powered by Koha