théorie mathématique : Contenus (9 total)

Fonds de l'Association des Collaborateurs de Nicolas Bourbaki (Archives de l'Académie des sciences); Dixmier, Jacques; 50 p.;
Le présent document s'ouvre sur des commentaires suivis d'un sommaire. L'auteur se situe par rapport aux états 5 et 4 du chapitre I. Vient ensuite la rédaction à proprement parler. § 1. Termes et relations. § 2. Théorèmes. § 3. Théories logiques. §…
Livre: Théorie des ensembles
Sujets : logique mathématique, relations (logique), théorie mathématique,

Fonds de l'Association des Collaborateurs de Nicolas Bourbaki (Archives de l'Académie des sciences); Chevalley, Claude; 60 p.;
Le présent document débute par cinq pages de commentaires, motivant les choix faits par l'auteur. Vient ensuite la rédaction proprement dite. I. Règles formatives. II. Règles d'inférence. Théories. III. Premiers schémas d'axiomes. Le théorème de la…
Livre: Théorie des ensembles
Sujets : logique mathématique, relations (logique), théorie mathématique, types (logique),

Fonds de l'Association des Collaborateurs de Nicolas Bourbaki (Archives de l'Académie des sciences); Chevalley, Claude; 34 p.;
§ 1. Echelles d'ensembles. § 2. Squelettes typiques. § 3. Incarnations d'un squelette typique. § 4. Théories structurales. § 5. Structures.
Livre: Théorie des ensembles
Sujets : théorie mathématique, structures,

Fonds Jean Delsarte (Institut Élie Cartan); 55 p.;
§ 1. La formation des relations. § 2. Les relations vraies. § 3. Démonstrations et théories.
Livre: Théorie des ensembles
Sujets : logique mathématique, relations (logique), théorie mathématique,

Fonds Jean Delsarte (Institut Élie Cartan); Dieudonné, Jean; 150 p.;
Chapitre I. Logique mathématique. § 1. La formation des relations. § 2. Les relations vraies. § 3. Théories et axiomes. Chapitre II. Théorie des ensembles abstraits. § 1. La relation d'égalité et les symboles fonctionnels. § 2. La relation…
Livre: Théorie des ensembles
Sujets : logique mathématique, relations (logique), théorie mathématique, théorie des ensembles abstraits, relations (ensembles), produit (d'ensembles), opérations (sur les sous-ensembles), fonctions (théorie des ensembles), structures,

Fonds Jean Delsarte (Institut Élie Cartan); Weil, André; 151 p.;
Avertissement à tout Bourbaki. Chapitre I. Du raisonnement mathématique. § 1. Analyse d'une démonstration. Les propositions. § 2. Structure de la proposition. Propriétés, relations, variables. § 3. Conseils sur la rédaction des travaux mathématiques…
Livre: Théorie des ensembles
Sujets : logique mathématique, théorie des ensembles abstraits, opérations (sur les sous-ensembles), fonctions (théorie des ensembles), produit (d'ensembles), relations (ensembles), puissance (ensembles), ensembles finis, ensembles dénombrables, ensembles ordonnés, ensembles bien ordonnés, théorie mathématique, structures,

Fonds Jean Delsarte (Institut Élie Cartan); Cartan, Henri; 12 p.;
Constructions de relations. Tableau d'équivalences syntaxiques. Définition des relations vraies, ou identités logiques. Les théories avec axiomes. Les théories avec axiomes et hypothèses. Théories non contradictoires.
Livre: Théorie des ensembles
Sujets : logique mathématique, théorie mathématique,

Fonds Jean Delsarte (Institut Élie Cartan); 30 p.;
Chapitre I. Quelques éléments de syntaxe et de logique. § 1. Les opérations syntactiques élémentaires. § 2. Prédicats et relations. § 3. La notion de types. Les couples. § 4. L'égalité. § 5. La notion générale de théorie mathématique. Chapitre II.…
Livre: Théorie des ensembles
Sujets : logique mathématique, prédicats, relations (logique), types (logique), théorie mathématique, théorie des ensembles abstraits, fonctions (théorie des ensembles),

Fonds Jean Delsarte (Institut Élie Cartan); 70 p.;
Prolégomènes sur la notion de théorie mathématique (Introduction au chapitre, vu comme une "préface à toute théorie mathématique"). I.1. Les ensembles fondamentaux ; l'appartenance; la structure ε. I.2. Propriétés d'un éléments ; parties d'un…
Livre: Théorie des ensembles
Sujets : théorie mathématique, théorie des ensembles abstraits, structure ε (appartenance), structure U (réunion), opérations (sur les sous-ensembles), produit (d'ensembles), fonctions (théorie des ensembles), relations (ensembles), structures,
Formats de sortie

atom, dcmes-xml, json, omeka-xml, rss2