URI http://ori.unit-c.fr/uid/unit-ori-wf-1-7379 Langages logiques fre Ce cours est le premier d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il présente les aspects syntaxiques des langages logiques langage logique logique des propositions calcul prédicat langage sans variable formule atomique quantificateur formule logique avec variables substitution dans une formule LOMv1.0 linear LOMv1.0 3 LOMv1.0 texte LOMv1.0 image LOMFRv1.0 son LOMv1.0 author BEGIN:VCARD VERSION:3.0 N:JAUME;Mathieu;;; FN:Mathieu JAUME EMAIL;TYPE=INTERNET: ORG:Sorbonne Université END:VCARD 2020-01-10 LOMv1.0 publisher BEGIN:VCARD VERSION:3.0 N:Sorbonne Université;;;; FN:Sorbonne Université EMAIL;TYPE=INTERNET: ORG:Sorbonne Université END:VCARD 2020-01-10 LOMv1.0 author BEGIN:VCARD VERSION:3.0 N:Mounier;Isabelle;;; FN:Isabelle Mounier EMAIL;TYPE=INTERNET: ORG:Sorbonne Université END:VCARD 2020-01-10 LOMv1.0 publisher BEGIN:VCARD VERSION:3.0 N:UNIT;;;; FN:UNIT EMAIL;TYPE=INTERNET: ORG:UNIT END:VCARD 2020-01-10 URI http://ori.unit-c.fr/uid/unit-ori-wf-1-7380 LOMv1.0 LOMFRv1.0 SupLOMFRv1.0 fre text/html http://www.unit.eu/cours/logique-SorbonneU/co/sequence/co/sequence.html LOMv1.0 lecture LOMv1.0 self assessment LOMv1.0 exercise SupLOMFRv1.0 liste de références LOMv1.0 learner LOMv1.0 higher education LOMFRv1.0 licence fre LOMv1.0 no LOMv1.0 no Attribution - Partage dans les mêmes conditions (CC BY-SA) LOMv1.0 ispartof URI http://www.unit.eu/cours/logique-SorbonneU/ Cours de logique LOMv1.0 discipline Classification UNIT 2202 Mathématiques inductives déductives Classification UNIT 2504 Philosophie, éthique, métaphysique, épistémologie LOMv1.0 discipline CDD 22e éd. 511.3 Logique mathématique (Logique symbolique) CDD 22e éd. 160 Logique (contrefactuels, logique des questions, modalité, négation, propositions, raisonnement, science du raisonnement, tables de vérité, vérité) home-example unit-cofinance