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

Support de cours


2.1 Trancriptions en logique des propositions (TR)

2.1.1 Explications préliminaires

Télécharger
Conseils et exercices commentés (TR)
TR_Com.pdf
Document Adobe Acrobat 232.7 KB

2.1.2 Exercices

Télécharger
Exercices (TR)
TR.pdf
Document Adobe Acrobat 111.6 KB
Télécharger
Résolutions d'exercices (TR)
TR_R.pdf
Document Adobe Acrobat 185.0 KB

2.2 Trancriptions en logique des prédicats (PTR)

2.2.1 Explications préliminaires

Télécharger
Conseils et exercices commentés (PTR)
PTR_Com.pdf
Document Adobe Acrobat 349.1 KB

2.2.2 Exercices

Télécharger
Exercices (PTR)
PTR.pdf
Document Adobe Acrobat 186.2 KB
Télécharger
Résolutions d'exercices (PTR)
PTR_R.pdf
Document Adobe Acrobat 355.6 KB

2.3 Matériel didactique (à imprimer)

Télécharger
CS, CN et CNS : Trois types de conditions (TR et PTR)
CS_CN_CNS_3conditions.pdf
Document Adobe Acrobat 290.0 KB
Télécharger
Le détecteur de conditions (TR et PTR)
detecteur.pdf
Document Adobe Acrobat 175.0 KB

Télécharger
Algorithme pour la transcription d’un raisonnement en logique des prédicats (PTR)
algorithme_PTR.pdf
Document Adobe Acrobat 164.1 KB

Télécharger
Exercices préliminaires, niveau débutant (TR)
TR_exos_prél_1.pdf
Document Adobe Acrobat 109.2 KB
Télécharger
Exercices préliminaires, niveau avancé (TR)
TR_exos_prel2.pdf
Document Adobe Acrobat 30.4 KB

Télécharger
Exercices préliminaires, niveau débutant (PTR)
pred_debutant.pdf
Document Adobe Acrobat 102.0 KB
Télécharger
Exercices préliminaires, niveau avancé (PTR)
PTR_exos_prel2.pdf
Document Adobe Acrobat 182.9 KB