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...
- Trainer/in: Alexandre Baudoux
- Trainer/in: Vincent Wistrand
- Trainer/in: Alexandre Billon
- Trainer/in: Emilie Cappe
- Trainer/in: Anne-Christine Habbard
- Trainer/in: Claire Louguet
- Trainer/in: Mathilde Tahar
- Trainer/in: Nathalie Vannerum
- Trainer/in: Thomas Benatouil
- Trainer/in: Eleonore Le Jalle
- Trainer/in: Claire Louguet
- Trainer/in: Sarah Troche
- Gestionnaire de l’offre de formation: Marie-Laurence Khelili
- Gestionnaire de l’offre de formation: Nathalie Vannerum