Fondement de l'informatique (Logique - Licence 3 informatique - 2021/2022)

Espace dédié à la partie sur la logique des prédicats dans le cours de Fondements de l'informatique.