Logique mathématique
Volume 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours, exercices corrigés
René Cori, Daniel Lascar - Collection Sciences sup
Résumé
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.
L'auteur - René Cori
René Cori. Maître de conférences à l'université Denis-Diderot, Paris 7.
Autres livres de René Cori
L'auteur - Daniel Lascar
Daniel Lascar. Directeur de recherches au CNRS.
Autres livres de Daniel Lascar
Sommaire
Récursivité. Formalisation de l'arithmétique. Théorèmes de Gödel. Théorie des ensembles. Un peu de théorie des modèles. Solutions des exercices.
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Dunod |
| Auteur(s) | René Cori, Daniel Lascar |
| Collection | Sciences sup |
| Parution | 04/02/2020 |
| Nb. de pages | 350 |
| Format | 18 x 25 |
| Couverture | Broché |
| Poids | 608g |
| Intérieur | Noir et Blanc |
| EAN13 | 9782100807703 |
Avantages Eyrolles.com
Nos clients ont également acheté
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
- Informatique Développement d'applications Techniques de programmation Logique
- Sciences Mathématiques Mathématiques par matières Algèbre Cours
- Sciences Mathématiques Mathématiques par matières Algèbre Exercices
- Sciences Mathématiques Mathématiques par matières Logique
- Sciences Mathématiques Mathématiques par matières Théorie des ensembles
- Sciences Etudes et concours Classes préparatoires et grandes écoles - Livres classes prépas scientifiques Mathématiques
