Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentesRévision précédente | |||
formations:licences:licence_enseignements_descriptifs [2022/11/28 15:30] – les descriptifs des cours du L3 sont remplacés par les nouveaux syllabi treinen | formations:licences:licence_enseignements_descriptifs [2023/03/10 15:57] (Version actuelle) – [Outils Logiques (OL4)] mitsou | ||
---|---|---|---|
Ligne 86: | Ligne 86: | ||
===== Outils Logiques (OL4) ===== | ===== Outils Logiques (OL4) ===== | ||
+ | === Objectifs === | ||
+ | Ce cours est une introduction à la logique et notamment au calcul propositionnel, | ||
- | Ce cours est une introduction à la logique | + | === Résumé === |
+ | Syntaxe, sémantique | ||
===== Mathématiques 4 (MI4) ===== | ===== Mathématiques 4 (MI4) ===== | ||