Remarque préliminaire : On peut dire que les MA sont plus faciles à résoudre que les PMA, c.-à-d. seulement si vous avez atteint la maîtrise maximale (=savoir résoudre tous les exercices) dans le domaine des MA, vous pouvez commencer à vous entraîner dans la résolution des PMA.

Support de cours

4.1 Méthode des arbres en logique des propositions

4.1.1 Explications préliminaires

Télécharger
Conseils et exercices commentés (MA)
MA_Com.pdf
Document Adobe Acrobat 200.4 KB

4.1.2 Exercices

Télécharger
Exercices (MA)
MA.pdf
Document Adobe Acrobat 152.6 KB
Télécharger
Résolutions d'exercices (MA)
MA_R.pdf
Document Adobe Acrobat 289.1 KB

4.2 Méthode des arbres en logique des prédicats

4.2.1 Explications préliminaires

Télécharger
Conseils et exercices commentés (PMA)
PMA_Com.pdf
Document Adobe Acrobat 222.3 KB

4.2.2 Exercices

Télécharger
Exercices (PMA)
PMA.pdf
Document Adobe Acrobat 190.6 KB
Télécharger
Résolutions d'exercices (PMA)
PMA_R.pdf
Document Adobe Acrobat 351.6 KB

4.3 Matériel didactique

Télécharger
Logique des propositions : Idée directrice et algorithme (MA)
Idée_directrice_et_algorithme.pdf
Document Adobe Acrobat 14.0 KB
Télécharger
Les règles de décomposition (MA et PMA)
Règles_de_décomposition.pdf
Document Adobe Acrobat 21.3 KB
Télécharger
Les règles de décomposition : Fiche de compréhension (MA, PFS)
formules_arbres.pdf
Document Adobe Acrobat 671.4 KB
Télécharger
Logique des prédicats : Algorithme (PMA)
Algorithme_predicats_new.pdf
Document Adobe Acrobat 37.5 KB
Télécharger
Exercice commenté, étape par étape (MA 23)
MA_ex_com(1).pdf
Document Adobe Acrobat 304.0 KB
Télécharger
Logique des propositions : Résolutions d'exercices, MA1-22 (à la main, par l'eL YS)
exos_Arbres_MA1-22.pdf
Document Adobe Acrobat 4.7 MB