logique 
 

Odile Papini

               

        cours1 :  introduction : (.pdf)

        cours 2 : logique propositionnelle (.pdf)

             cours 3 : raisonnement en logique propositionnelle (.pdf)

        cours 4 : logique des prédicats (.pdf)

        cours 5 : raisonnement en logique des prédicats (.pdf)
 
 
   rappels logique classique : (.pdf)                     raisonnement en logique classique : pdf

  exercices logique propositionnelle :  (.pdf)     exercices  logique des prédicats:  (.pdf)           

  corrigé :
(.pdf)                                                     corrigé : (.pdf)


  
TP1 : (.pdf)         TP2 : (.pdf)         TP3 : (.pdf)

    corrigé TP1: (.pdf)      corrigé TP2 : (.pdf)      corrigé TP3: (.pdf)