الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم

  trié(s) par (Pertinence décroissant(e), Titre croissant(e)) 

Logiques, ensembles, catégories / Pierre Ageron

Public ISBD Titre : Logiques, ensembles, catégories : le point de vue constructif Type de document : texte imprimé Auteurs : Pierre Ageron (1949-....), Editeur : Paris : Ellipses Année de publication : impr. 2000, cop. 2000. Collection : Math©matiques pour le 2e cycle Sous-collection : cours et exercices corrig©s. Importance : 117 p Présentation : couv. ill. Format : 26 cm. ISBN/ISSN/EAN : 978-2-7298-0245-5 Prix : 12,20 EUR Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Principe du tiers exclu Logique intuitionniste Ensembles Entiers naturels Axiome du choix Equipotence, subpotence Polynômes d'ensembles Théorème de Cantor Théorème de Cantor-Bernstein Simplification cardinale Finitude Réflexivité Dénombrabilité Ensembles bien ordonnés Comparaison des ensembles bien ordonnés Construction de Kruse Ordinaux Construction de Hartogs Théorème de Specker Hypothèse généralisée du continu Théorèmes de Zermelo et de König Graphes réflexifs Limites projectives Limites inductives Interversion de limites Ensembles ordonnés complets Catégories Catégories complètes Diagrammes initiaux Points fixes de fondeurs Index. décimale : 515 Résumé : Ce petit livre traite de quelques aspects des fondements des mathématiques. Il reprend un cours semestriel de maîtrise de mathématiques, enseigné à l'Université de Caen. En évitant volontairement de soulever des difficultés a priori (par exemple sur ce qu'on appelle " une proposition " ou " un ensemble "), il présente une discussion approfondie des grands postulats non constructifs des mathématiques (principe du tiers exclu et axiome du choix). Il développe ensuite la théorie élémentaire des ensembles, des ensembles ordonnés et des catégories, en mettant l'accent sur les aspects de ces théories qui ne deviennent féconds qu'en l'absence de ces postulats. L'information précise ici rassemblée sur les mathématiques constructives est difficile d'accès et en grande partie inédite en langue française : pour cette raison, ce livre d'abord conçu comme un manuel devrait aussi intéresser un large public concerné par la philosophie des mathématiques. Les aspects historiques y bénéficient d'une place importante et d'une information mise à jour. Découpé en trente brèves leçons, le cours est accompagné d'exercices corrigés. Logiques, ensembles, catégories : le point de vue constructif [texte imprimé] / Pierre Ageron (1949-....),  . - Paris : Ellipses, impr. 2000, cop. 2000. . - 117 p : couv. ill. ; 26 cm.. - (Math©matiques pour le 2e cycle. cours et exercices corrig©s.) . ISBN : 978-2-7298-0245-5 : 12,20 EUR Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Principe du tiers exclu Logique intuitionniste Ensembles Entiers naturels Axiome du choix Equipotence, subpotence Polynômes d'ensembles Théorème de Cantor Théorème de Cantor-Bernstein Simplification cardinale Finitude Réflexivité Dénombrabilité Ensembles bien ordonnés Comparaison des ensembles bien ordonnés Construction de Kruse Ordinaux Construction de Hartogs Théorème de Specker Hypothèse généralisée du continu Théorèmes de Zermelo et de König Graphes réflexifs Limites projectives Limites inductives Interversion de limites Ensembles ordonnés complets Catégories Catégories complètes Diagrammes initiaux Points fixes de fondeurs Index. décimale : 515 Résumé : Ce petit livre traite de quelques aspects des fondements des mathématiques. Il reprend un cours semestriel de maîtrise de mathématiques, enseigné à l'Université de Caen. En évitant volontairement de soulever des difficultés a priori (par exemple sur ce qu'on appelle " une proposition " ou " un ensemble "), il présente une discussion approfondie des grands postulats non constructifs des mathématiques (principe du tiers exclu et axiome du choix). Il développe ensuite la théorie élémentaire des ensembles, des ensembles ordonnés et des catégories, en mettant l'accent sur les aspects de ces théories qui ne deviennent féconds qu'en l'absence de ces postulats. L'information précise ici rassemblée sur les mathématiques constructives est difficile d'accès et en grande partie inédite en langue française : pour cette raison, ce livre d'abord conçu comme un manuel devrait aussi intéresser un large public concerné par la philosophie des mathématiques. Les aspects historiques y bénéficient d'une place importante et d'une information mise à jour. Découpé en trente brèves leçons, le cours est accompagné d'exercices corrigés.

Réservation

Réserver ce document

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
CF2-003192	515-037.1	Ouvrage	Bibliothèque Centrale	500 - Sciences de la nature et Mathématiques	Exclu du prêt
F2-003139	515-037.2	Ouvrage	Bibliothèque Centrale	500 - Sciences de la nature et Mathématiques	Disponible

---

1 (1 - 1 / 1)