UEL UEL-Maths-logi Logique et langage des ensembles 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. C'est pourquoi ce module est très détaillé sur les questions qui posent problème aux étudiants. Il est conseillé de travailler de façon approfondie ce module au début de l'année, puis de revenir ensuite revoir les points qui sont source de difficulté. connecteurs ensembles quantificateurs implications relations LOMv1.0 hierarchical LOMv1.0 4 LOMFRv1.0 texte LOMFRv1.0 ressource interactive 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 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 LOMFRv1.0 fre text/html http://www.uel.education.fr/consultation/reference/mathematiques/logique1/index.htm LOMv1.0 lecture LOMv1.0 exercise LOMv1.0 self assessment LOMv1.0 learner LOMv1.0 higher education LOMFRv1.0 licence fre LOMv1.0 no LOMv1.0 yes licence spécifique de téléchargement. Contact: info@cerimes.fr LOMv1.0 discipline JaPeSe v1.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)