Titre de série : |
Logique mathématique, 2 |
Titre : |
Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles |
Type de document : |
texte imprimé |
Auteurs : |
René Cori ; Daniel Lascar (1942-....) ; Jean-Louis Krivine (1939-....), Préfacier, etc. |
Editeur : |
Paris ; Malakoff (92) : Dunod |
Année de publication : |
2019 |
Collection : |
Sciences sup, ISSN 1636-2217  |
Importance : |
XV-347 p. |
Format : |
24 cm |
ISBN/ISSN/EAN : |
978-2-10-080770-3 |
Note générale : |
Bibliogr. p. 323-325. Index |
Langues : |
Français (fre) |
Descripteurs : |
Algèbre , Ensembles (Théorie) , Logique mathématique
|
Tags : |
Fonctions récursives Théorème de Gödel |
Index. décimale : |
10 Mathématiques générales |
Résumé : |
Ce 2è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. [D'après le résumé de l'éditeur] |
Note de contenu : |
Contient des exercices |
En ligne : |
https://www.dunod.com/sciences-techniques/logique-mathematique-t-2-fonctions-rec [...] |
Permalink : |
https://genes.bibli.fr/index.php?lvl=notice_display&id=148755 |
|  |