Logique mathématique. cours et exercices corrigés 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles :
Ce 2e 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.
Na minha lista:
| Principais autores: | , |
|---|---|
| Outros Autores: | |
| Formato: | Livre papier |
| Idioma: | Français |
| Publicado em: |
Paris :
Dunod
DL 2003.
|
| coleção: | Sciences sup. Mathématiques
|
| Assuntos: | |
| Nota: |
Autres tirages : 2005, 2008, 2011, 2013, 2015, 2017, 2019 (nouvelle présentation) Réédition de l'édition originale publiée en 1993 aux Editions Masson dans la collection Axiomes, coordonnée par J.-L. Krivine |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles :, cours et exercices corrigés |
Sumário:
- 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.