Théorie des ensembles et logique mathématique / Jacques Patarin

Public ISBD Titre : Théorie des ensembles et logique mathématique : Des infinis mathématiques aux théorèmes de Gödel Type de document : texte imprimé Auteurs : Jacques Patarin (1965-....), Auteur Editeur : Paris : Ellipses Année de publication : 2020 Importance : 1 vol. (292 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-340-04100-4 Note générale : Bibliogr. p. 291-292 Langues : Français (fre) Catégories : Mathématique Mots-clés : Logique mathématique Index. décimale : 511.3 Logique mathématique Résumé : Cet ouvrage traite de deux des domaines les plus célèbres des mathématiques : la théorie des ensembles et la logique, qui ont de très nombreuses interactions. De plus, avec le spectaculaire développement de l’informatique actuelle, de nombreux résultats de ce livre prennent aussi une importance pratique, et plus seulement théorique. Presque tout les résultats sont présentés avec leurs preuves et de nombreux exercices (corrigés à la fin du livre) sont également inclus. Côte titre : Fs/24751-24752 Théorie des ensembles et logique mathématique : Des infinis mathématiques aux théorèmes de Gödel [texte imprimé] / Jacques Patarin (1965-....), Auteur . - Paris : Ellipses, 2020 . - 1 vol. (292 p.) : ill. ; 24 cm. ISBN : 978-2-340-04100-4 Bibliogr. p. 291-292 Langues : Français (fre) Catégories : Mathématique Mots-clés : Logique mathématique Index. décimale : 511.3 Logique mathématique Résumé : Cet ouvrage traite de deux des domaines les plus célèbres des mathématiques : la théorie des ensembles et la logique, qui ont de très nombreuses interactions. De plus, avec le spectaculaire développement de l’informatique actuelle, de nombreux résultats de ce livre prennent aussi une importance pratique, et plus seulement théorique. Presque tout les résultats sont présentés avec leurs preuves et de nombreux exercices (corrigés à la fin du livre) sont également inclus. Côte titre : Fs/24751-24752

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/24751	Fs/24751-24752	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/24752	Fs/24751-24752	Livre	Bibliothéque des sciences	Français	Disponible Disponible

---

1 (1 - 1 / 1)