logique mathématique : Contenus (11 total)

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); 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); 101 p.;
Chapitre I. § 1. Comme la rédaction Weil à quelques détails de forme près. § 2. Les objets mathématiques et le calcul des relations. Chapitre II. Ensembles et fonctions. § 1. La relation d'égalité et les relations fonctionnelles. § 2. Type des…
Livre: Théorie des ensembles
Sujets : logique mathématique, relations (logique), théorie des ensembles abstraits, fonctions (théorie des ensembles), types (logique),

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); 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); Dieudonné, Jean; 55 p.;
§ 1. Analyse d'une démonstration. Les propositions. § 2. Structure de la proposition mathématique. Propriétés, relations, variables. § 3. Définitions et axiomes. § 4. Les objets mathématiques et la théorie des ensembles.
Livre: Théorie des ensembles
Sujets : logique mathématique,

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 de l'Association des Collaborateurs de Nicolas Bourbaki (Archives de l'Académie des sciences); 7 p.;
Objectif de ce § : permettre la publication du chapitre III avant les chapitres I et II. Voici les parties de ce paragraphe introductif : 1. Relations entre objets mathématiques. 2. Fonctions et famille d'ensembles. 3. Entiers énumérés. 4. L'ensemble…
Livre: Théorie des ensembles
Sujets : logique mathématique, relations (logique), types (logique), théorie des ensembles abstraits,

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); 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,
Formats de sortie

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