Tronc commun 
  Logique et représentation des connaissances

Odile Papini

               

       Bibiographie   pdf

 
            Cours logique propositionnelle : (.pdf)     exercices  :  (.pdf)
                                                                              corrigé :
(.pdf)


       Cours logique des prédicats : (.pdf)            exercices  :  (.pdf)
                                                                              
corrigé : (.pdf)

 
                rappels logique classique : pdf                     raisonnement en logique classique : pdf