Telecharger Cours

Logique formelle et modélisation du raisonnement Notions de base

Cours 1 (26 sept) Logique propositionnelle : langage, connecteurs et raisonnement, valeur de vérité, mod`ele ; tautologie, satisfiabilité.



Download