LOMv1.0 creator BEGIN:VCARD VERSION:3.0 N:Peterlongo; Marie;;; FN: Marie Peterlongo ORG:Unisciel END:VCARD 2009-10-16 LOMv1.0 validator BEGIN:VCARD VERSION:3.0 N:Peterlongo; Marie;;; FN: Marie Peterlongo ORG:Unisciel END:VCARD 2009-10-16 LOMv1.0 validator BEGIN:VCARD VERSION:3.0 N:Agustinos; Vanessa;;; FN: Vanessa Agustinos ORG:Unisciel END:VCARD 2012-10 LOMv1.0 LOMFRv1.0 SupLOMFRv1.0 fre UEL UEL-Maths-logi Logique et langage des ensembles (Module complet) fre Les notions abordées dans ce module sont des notions de base qui interviennent dans tous les domaines des mathématiques. Souvent considérées comme acquises par les étudiants après un cours d'introduction rapide, elles sont susceptibles de causer des difficultés dans tout le travail ultérieur, en cas de maîtrise insuffisante.On trouve 9 parties dans ce module : Connecteurs, Langage des ensembles, Quantificateurs, Implication, Applications, Relations, Démonstrations, Rédactions et Cardinal d'un ensemble. Des exercices et auto-évaluations sont disponibles à la fin de certains chapitres. connecteurs ensembles quantificateurs implications logique relations LOMv1.0 hierarchical LOMv1.0 4 LOMFRv1.0 collection LOMv1.0 final LOMv1.0 author BEGIN:VCARD VERSION:3.0 N:Cousquer ;Eliane ;;; FN: Eliane Cousquer ORG:Université Lille-I USTL ;; END:VCARD 2000 LOMv1.0 author BEGIN:VCARD VERSION:3.0 N: Sacré;Carlos ;;; FN: Carlos Sacré ORG:Université Lille-I USTL ;; END:VCARD 2000 LOMv1.0 technical implementer BEGIN:VCARD VERSION:3.0 N: Cousquer;Gilles ;;; FN: Gilles Cousquer ORG:Université Lille-I USTL ;; END:VCARD 2000 LOMv1.0 technical implementer BEGIN:VCARD VERSION:3.0 N: Picot;Sébastien ;;; FN: Sébastien Picot ORG:Université Lille-I USTL ;; END:VCARD 2000 LOMv1.0 technical implementer BEGIN:VCARD VERSION:3.0 N: Cousquer;Alain ;;; FN: Alain Cousquer ORG:Université Lille-I USTL ;; END:VCARD 2000 LOMv1.0 technical implementer BEGIN:VCARD VERSION:3.0 N: Six;Bruno ;;; FN: Bruno Six ORG:Université Lille-I USTL ;; END:VCARD 2000 LOMv1.0 technical implementer BEGIN:VCARD VERSION:3.0 N: Devoldere;Régis ;;; FN: Régis Devoldere ORG:Université Lille-I USTL ;; END:VCARD 2000 LOMv1.0 technical implementer BEGIN:VCARD VERSION:3.0 N: Touron;Olivier ;;; FN: Olivier Touron ORG:Université Lille-I USTL ;; END:VCARD 2000 LOMv1.0 publisher BEGIN:VCARD VERSION:3.0 N: ;;;; FN: Université Lille-I USTL ORG: Université Lille-I USTL ;; END:VCARD 2000 LOMv1.0 publisher BEGIN:VCARD VERSION:3.0 N:;;;; FN:CERIMES SFRS ORG: CERIMES;; END:VCARD 2000 LOMv1.0 publisher BEGIN:VCARD VERSION:3.0 N:UNISCIEL ; ;;; FN: UNISCIEL ORG:UNISCIEL; L'Université des sciences en ligne ; EMAIL;INTERNET: END:VCARD 2012 LOMv1.0 publisher BEGIN:VCARD VERSION:3.0 N:Ministère de l'Éducation nationale, de l'Enseignement supérieur et de la Recherche ; ;;; FN: Ministère de l'Éducation nationale, de l'Enseignement supérieur et de la Recherche ORG:Ministère de l'Éducation nationale, de l'Enseignement supérieur et de la Recherche ;; EMAIL;INTERNET: END:VCARD 2012 text/html http://uel.unisciel.fr/mathematiques/logique1/logique1/co/logique1.html LOMv1.0 lecture LOMv1.0 questionnaire LOMv1.0 exercise LOMv1.0 self assessment LOMv1.0 learner LOMv1.0 higher education LOMFRv1.0 licence fre LOMv1.0 no LOMv1.0 yes Voir la page Crédits: http://uel.unisciel.fr/credits.html LOMv1.0 ispartof UEL http://uel.unisciel.fr/index.html Cours de l'UEL, l'Université en ligne LOMv1.0 discipline JaPeSe v2.0 5 Mathématiques 5:1 Algèbre 5:1:1 Logique, ensemble, raisonnement LOMv1.0 discipline CDD 22e éd. DDC 22nd ed 511.3 Logique mathématique (Logique symbolique) Mathematical logic (Symbolic logic) LOMv1.0 security level Projet OCW France Catalogue OCWC