types (logique) : Contenus (4 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); 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 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),
Formats de sortie

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