510.22 : Théorie des ensembles. Approche théorique des ensembles. Théorie des types d'ordres, des nombres ordinaux et cardinaux

510 Considérations fondamentales et générales sur les mathématiques. Fondement. Logique, etc.
510.21 considérations philosophiques générales.
510.5 Algorithmes. Fonctions calculables
510.51 Théorie des algorithmes: considérations générales
510.56 HAU
510.6 Logique mathématique
510.62 Langages logiques. Langages logico-objectifs
510.64 Systèmes non classiques, systèmes formels de logique. Logique modale. Logique polyvalente. Syllogistique. Logique inductive. Logique probabiliste.
510.65 Théories logico-mathématiques. Arithmétique formelle. Théorie formelle des nombres
510.67 Théorie des Modèles
510.76

Ouvrages de la bibliothèque en indexation 510.22

Logique, ensembles, catégories / Pierre Ageron

Public ISBD Titre : Logique, ensembles, catégories : le point de vue constructif Type de document : texte imprimé Auteurs : Pierre Ageron, Auteur Editeur : Paris : Ellipses Année de publication : 2000 Collection : Mathématiques pour le 2e cycle Sous-collection : Cours et exercices corrigés Importance : 117 p. Présentation : ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-0245-5 Note générale : Bibliogr. p. [116]-117. Index Langues : Français (fre) Mots-clés : Mathématiques  constructives  --  Manuels  d'enseignement  supérieur Logique  symbolique  et  mathématique  --  Problèmes  et  exercices Mathématiques  constructives  --  Problèmes  et  exercices Ensembles,  Théorie  des  --  Manuels  d'enseignement  supérieur Mathématiques  --  Fondements Logique  symbolique  et  mathématique  --  Manuels  d'enseignement  supérieur Ensembles,  Théorie  des  --  Problèmes  et  exercices Catégories  (mathématiques) Index. décimale : 510.22 Théorie des ensembles. Approche théorique des ensembles. Théorie des types d'ordres, des nombres ordinaux et cardinaux 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. Note de contenu : * 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. ... Logique, ensembles, catégories : le point de vue constructif [texte imprimé] / Pierre Ageron, Auteur . - Ellipses, 2000 . - 117 p. : ill. ; 26 cm. - (Mathématiques pour le 2e cycle. Cours et exercices corrigés) . ISBN : 978-2-7298-0245-5 Bibliogr. p. [116]-117. Index Langues : Français (fre) Mots-clés : Mathématiques  constructives  --  Manuels  d'enseignement  supérieur Logique  symbolique  et  mathématique  --  Problèmes  et  exercices Mathématiques  constructives  --  Problèmes  et  exercices Ensembles,  Théorie  des  --  Manuels  d'enseignement  supérieur Mathématiques  --  Fondements Logique  symbolique  et  mathématique  --  Manuels  d'enseignement  supérieur Ensembles,  Théorie  des  --  Problèmes  et  exercices Catégories  (mathématiques) Index. décimale : 510.22 Théorie des ensembles. Approche théorique des ensembles. Théorie des types d'ordres, des nombres ordinaux et cardinaux 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. Note de contenu : * 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. ...

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
045689	510.22 AGE	Papier	Bibliothèque Centrale	Mathématiques	Disponible

Ordres / Séminaire sur les ordres totaux finis dans les sciences de l'homme (1967; Aix-en-Provence, Bouches-du-Rhône)

Public ISBD Titre : Ordres : totaux finis : travaux du séminaire sur les ordres totaux finis, Aix-en-Provence, juillet 1967 Type de document : texte imprimé Auteurs : Ecole pratique des hautes études (Sorbonne), Editeur scientifique Congrès : Séminaire sur les ordres totaux finis dans les sciences de l'homme (1967; Aix-en-Provence, Bouches-du-Rhône), Auteur Editeur : Paris : Gauthier-Villars Année de publication : 1971 Autre Editeur : Paris : Mouton Collection : Mathématiques et sciences de l'homme num. XII Importance : 315 p. Présentation : ill. Format : 24 cm Langues : Français (fre) Mots-clés : Algebra,  Abstract  --  Congresses Lattice  theory  --  Congresses Set  theory  --  Congresses Analyse  combinatoire  --  Actes  de  congrès Treillis,  Théorie  des  --  Actes  de  congrès Théorie  des  ensembles  --  Actes  de  congrès Plan  d'expérience Index. décimale : 510.22 Théorie des ensembles. Approche théorique des ensembles. Théorie des types d'ordres, des nombres ordinaux et cardinaux Note de contenu : Au sommaire : * Ordres partiels. Treillis * Ordres totaux. Types d'ordres. Ordinaux * Permutoède et treillis des permutations * Enchaînements * Approximation d'ordres totaux * Plans d'expériences Ordres : totaux finis : travaux du séminaire sur les ordres totaux finis, Aix-en-Provence, juillet 1967 [texte imprimé] / Ecole pratique des hautes études (Sorbonne), Editeur scientifique / Séminaire sur les ordres totaux finis dans les sciences de l'homme (1967; Aix-en-Provence, Bouches-du-Rhône), Auteur . - Gauthier-Villars : Paris : Mouton, 1971 . - 315 p. : ill. ; 24 cm. - (Mathématiques et sciences de l'homme; XII) . Langues : Français (fre) Mots-clés : Algebra,  Abstract  --  Congresses Lattice  theory  --  Congresses Set  theory  --  Congresses Analyse  combinatoire  --  Actes  de  congrès Treillis,  Théorie  des  --  Actes  de  congrès Théorie  des  ensembles  --  Actes  de  congrès Plan  d'expérience Index. décimale : 510.22 Théorie des ensembles. Approche théorique des ensembles. Théorie des types d'ordres, des nombres ordinaux et cardinaux Note de contenu : Au sommaire : * Ordres partiels. Treillis * Ordres totaux. Types d'ordres. Ordinaux * Permutoède et treillis des permutations * Enchaînements * Approximation d'ordres totaux * Plans d'expériences

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
041863	510.22 ORD	Papier	Bibliothèque Centrale	Mathématiques	Disponible