INF253: Modélisation des structures informatiques

Introduction à la logique, notions ensembles: logique propositionnelle, de premier ordre, déduction naturelle, relations binaires.