1 ELÉMENTS DE LOGIQUE 1. 1 Opérations Logiques 1. 1. 1 La négation ¬ 1. 2 La Conjonction ∧ 1. 3 La Disjonction ∨ 1. 4 Règles de De Morgan 1. 5 L'Implication =⇒ 1. 6 La contraposée 1. 7 La réciproque 1. 2 Propriétés des opérations logiques 2 ELÉMENTS DE LA THÉORIE DES ENSEMBLES 2. 1 Les Ensembles 2. 1 Les quantificateurs 2. 2 Parties d'un ensemble 2. 3 Opérations sur les ensembles 2. 2 Applications et Fonctions 2. 2. 1 Composition d'applications 2. 2 Restriction et prolongement d'une application 2. 3 Images et images réciproques 2. 4 Applications injectives, surjectives, bijectives 2. 5 Fonctions 3 Relations binaires 3. 1 Relations d'équivalence 3. 1 Décomposition d'une application 3. 2 Relations d'ordre 3. 1 Plus petit, Plus grand élément 3. 2 Eléments Minimaux et éléments maximaux 3. 3 Borne Inférieure, Borne Supérieure 4 STRUCTURES ALGEBRIQUES 4. 1 Lois de Compositions Internes 4. 1 Unicité de l'inverse (du symétrique) 4. 2 Structure de Groupe 4. 1 Groupes à deux éléments 4. 2 Sous groupes 4.
Théorie des ensembles et fondement des mathématiques Version française en cours de développement, de (développé en anglais, suite au site en français, dont le contenu scientifique est encore loin d'avoir été entièrement repris). 1. Premiers fondements des mathématiques ( tout le texte en un long fichier html imprimable en 37 pages) 1. 1. Introduction au fondement des mathématiques 1. 2. Variables, ensembles, fonctions et opérations 1. 3. Forme des théories: notions, objets et méta-objets 1. 4. Structures mathématiques 1. 5. Expressions et structures définissables 1. 6. Connecteurs 1. 7. Classes en théorie des ensembles 1. 8. Symboles liants 1. 9. Axiomes et preuves 1. 10. Quantificateurs 1. 11. Quantificateurs du second ordre Aspects philosophiques 1. A. Temps en théorie des modèles 1. B. Indéfinissabilité de la vérité 1. C. Théorèmes d'incomplétude 1. D. La théorie des ensembles comme cadre unifié 2. Théorie des ensembles (mise à jour achevée le 30 nov. 2020) 2. 1. Premiers axiomes de théorie des ensembles 2.
je trouve des notes de cours sur les sites de profs, mais je ne veux pas de ça. view/martial-le roy/th%C3%A9orie-des-ensembles Cadeau Victime de harcèlement en ligne: comment réagir?
Accueil Plan du site Contact et proposition de documents: qravs-ng-yvfgrf-qbg-raf-ylba-qbg-se Les documents référencés sur ce site sont la propriété intellectuelle de leurs auteurs respectifs. Ne pas les reproduire sans autorisation. Le code source de ce site est placé sous licence GPLv3.
En fait il s'agit d'un modle qui satisfait aux axiomes des ensembles. Effectivement, nous verrons que nous ne pouvons pas parler de l'ensemble de tous les ensembles (ce n'est pas un ensemble), pour dsigner l'objet qui est constitu de tous les ensembles ainsi, nous parlons d'univers. D3. Nous appelons " lments " ou " membres de l'ensemble " les objets appartenant l'ensemble et nous notons: (5. 3) si p est un lment de l'ensemble A et dans le cas contraire: (5. 4) Si B est une " partie " de A, ou sous-ensemble de A, nous notons cela: ou (5. 5) ds lors, si pour tout: (5. 6) Nous identifiions galement un ensemble soit en listant ses lments (pas toujours forcment dnombrable par ailleurs! ), soit en donnant de ses lments (nombres pairs, impaires, diviseurs entiers de..., etc. ). Exemples: E1. E2. D3. Nous pouvons munir les ensembles d'un certain nombre de relations qui permettent de comparer ses lments (c'est utile parfois... ) ou de comparer certaines de leurs proprits. Ces relations sont appeles " relations de comparaisons " ou " relations d'ordre " ( cf.