LOMv1.0 creator BEGIN:VCARD VERSION:3.0 N:Péjean; Cécile;;; FN: Cécile Péjean ORG:Unisciel END:VCARD 2022-03-07 LOMv1.0 validator BEGIN:VCARD VERSION:3.0 N:Péjean; Cécile;;; FN: Cécile Péjean ORG:Unisciel END:VCARD 2022-03-07 LOMv1.0 LOMFRv1.0 SupLOMFRv1.0 fre Unisciel OuiSiMath_Log_Rais [OUI-SI] Logique et raisonnement fre Pour utiliser le dispositif, vous devez créer votre compte sur la plate-forme et vous inscrire gratuitement au cours. Les activités qui sont au cœur des mathématiques, sont le calcul et le raisonnement. Il ne s’agit pas de les dissocier dans l’activité globale. En revanche, dans l’apprentissage il est intéressant de s’attarder sur « un minimum de raisonnement ». C’est ce minimum qui est à acquérir ici. Il s’appuie sur des notions de logique de base mais aussi sur l’utilisation des symboles mathématiques et de ses règles d’application. Ces règles bien utilisées permettent à ces symboles de devenir un véritable langage formel nécessaire à toute communication mathématique. Il en permet la rédaction mais agit également sur des leviers sémantiques. La première partie de ce cours, met en jeu les notions de bases utiles au raisonnement mathématique et la deuxième les met en jeu au travers de la manipulation d’objets fondamentaux que sont les ensembles et les applications. logique mathématique ensembles applications LOMv1.0 3 LOMFRv1.0 texte LOMFRv1.0 image fixe LOMv1.0 final LOMv1.0 author BEGIN:VCARD VERSION:3.0 N: Sénéchaud; Pascale;;; FN:Pascale Sénéchaud ORG: Université de Limoges;; END:VCARD 2019-09-10 LOMv1.0 author BEGIN:VCARD VERSION:3.0 N: Boularas; Driss;;; FN:Driss Boularas ORG: Université de Limoges;; END:VCARD 2019-09-10 LOMv1.0 author BEGIN:VCARD VERSION:3.0 N: Kryszak; Philippe;;; FN:Philippe Kryszak ORG: Université de Limoges;; END:VCARD 2019-09-10 LOMv1.0 author BEGIN:VCARD VERSION:3.0 N: Necer; AbdelKader;;; FN:AbdelKader Necer ORG: Université de Limoges;; END:VCARD 2019-09-10 LOMv1.0 author BEGIN:VCARD VERSION:3.0 N: Salinier; Alain;;; FN:Alain Salinier ORG: Université de Limoges;; END:VCARD 2019-09-10 LOMv1.0 author BEGIN:VCARD VERSION:3.0 N: Sauvage; Michel;;; FN:Michel Sauvage ORG: Université de Limoges;; END:VCARD 2019-09-10 LOMv1.0 publisher BEGIN:VCARD VERSION:3.0 N: ;;;; FN: Unisciel ORG: Unisciel ;; END:VCARD 2019-09-10 LOMv1.0 publisher BEGIN:VCARD VERSION:3.0 N: ;;;; FN: Université de Limoges ORG: Université de Limoges ;; END:VCARD 2019-09-10 text/html https://socles3.unisciel.fr/course/view.php?id=217 LOMv1.0 lecture LOMv1.0 exercise LOMFRv1.0 évaluation LOMFRv1.0 scénario pédagogique LOMv1.0 learner LOMv1.0 higher education LOMFRv1.0 licence SupLOMFRv1.0 bac+1 fre LOMv1.0 no LOMv1.0 yes Licence creative commons de type 3:http://creativecommons.org/licenses/by-nc-sa/3.0/deed.fr - pour plus d'information contacter l'auteur 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)