Examens de logique

Les examens suivants ont été donnés précédemment.

6 octobre 2020 à 15 h 15

Examen de contrôle continu numéro 1 de formalisation pour la programmation (partie logique propositionnelle uniquement).

24 novembre 2020 à 15 h 15

Examen de contrôle continu numéro 2 de formalisation pour la programmation (partie logique du premier ordre et principe de résolution uniquement).

11 février 2021 à 13 h 00

Examen de rattrapage de formalisation pour la programmation (partie logique).

21 septembre 2021 à 15 h 30

Examen de contrôle continu numéro 1 de formalisation pour la programmation (partie logique propositionnelle uniquement).

9 novembre 2021 à 16 h 15

Examen de contrôle continu numéro 2 de formalisation pour la programmation (partie logique du premier ordre et principe de résolution uniquement).

29 novembre 2022 à 15 h 30

Examen de formalisation pour la programmation (partie logique uniquement portant sur les 3 premiers chapitres du livret).

21 février 2023 à 15 h 00

Examen de rattrapage de formalisation pour la programmation (partie logique).

24 octobre 2023 à 10 h 15

Examen de formalisation pour la programmation (partie logique uniquement portant sur les 3 premiers chapitres du livret).

22 février 2023 à 15 h 00

Examen de rattrapage de formalisation pour la programmation (partie logique).