Logique

Ects : 3
Compétence à acquérir :
Comprendre et connaître les concepts de base en logique et familiariser les étudiants avec différentes techniques de formalisation du raisonnement et de la démonstration.

Description du contenu de l'enseignement :
Logique des propositions, inférences, démonstration axiomatique, SAT
Logique du premier ordre, démonstration axiomatique et tableaux.