Telecharger Cours

Représentation des connaissances - La logique des prédicats - CNRS

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



Download