Après quelques remarques générales sur la logique, la sémantique et la philosophie générale, on essayera de construire le langage L0, c'est-à-dire le langage basique de la logique propositionnelle.
Au programme : Proposition, vocabulaire, syntaxe, règles syntaxiques, formule atomique, formule complexe, sémantique, règles sémantiques, tables de vérité, connecteurs vérifonctionnels, arbres syntaxiques...
- 教師: Billon Alexandre
- 教師: Cappe Emilie
- 教師: Habbard Anne-Christine
- 教師: Louguet Claire
- 教師: Tahar Mathilde
- 教師: Vannerum Nathalie
- 教師: Benatouil Thomas
- 教師: Le Jalle Eleonore
- 教師: Louguet Claire
- 教師: Troche Sarah
- Gestionnaire de l’offre de formation: Khelili Marie-Laurence
- Gestionnaire de l’offre de formation: Vannerum Nathalie