Cours et TDs |
---|
Divers |
|
Package : DPH203A-TD1-Pack | actualisé le 16 jan 2004 |
| J'ai mis tous les documents à télécharger sur ce site dans un fichier compressé (zip), pour vous simplifier le téléchargement massif. |
- Fichier DutantTout-en-un (tous les fichiers à télécharger) |
Autre : Memo calcul des propositions | actualisé le 16 jan 2004 | | Récapitulatif des tables de vérité, des règles pour les arbres et des règles pour la déduction naturelle, concernant le calcul propositionnel. |
- Divers DutantMemo - calcul des propositions |
Autre : Contrôle continu | actualisé le 16 jan 2004 | | Voici des questions posées en contrôle continu, qui peuvent vous être utile pour pratiquer. |
- Exercices Exercices de contrôle continu |
Semaine 1 |
|
Cours : Récapitulation du calcul des propositions - Syntaxe et sémantique | actualisé le 09 oct 2003 |
| Définitions: proposition, argument valide et sain, implication et équivalence, proposition valide (tautologie), satisfiable, non-satisfiable (contradiction). Syntaxe et sémantique du calcul des propositions. Principaux connecteurs. |
- Handout Calcul des propositions: syntaxe, sémantique. Méthode des arbres. (Engel) - Handout. |
TD : Introduction et calcul des propositions | actualisé le 09 oct 2003 | | Introduction générale. Syntaxe du calcul des propositions: syntaxe récursive, arbres syntaxiques. Sémantique: interprétation, table de vérité. Définitions (satisfaction et vérité, validité, tautologie, contradiction). |
- Cours Calcul des propositions - introduction. (Dutant) - Texte du TD. |
- Exercices Exercices du TD1, semaines 1 et 2. (Dutant) - Exercices. Pour la semaine 2, faire 1.1. à 1.8, sauf 1.6. |
Semaine 2 |
|
Cours : Langage naturel et langage de la logique | actualisé le 19 fev 2004 |
| Récapitulatif: énoncé, valeur de vérité, argument, proposition. Langage naturel et langage de la logique. "Imperfections" du langage naturel: ambiguïté lexicale, ambiguïté structurale, irrégularités syntaxiques, vague, indexicalité. |
- Handout Calcul des propositions: syntaxe, sémantique. Méthode des arbres. (Engel) |
TD : Tables de vérité pour le calcul des propositions | actualisé le 15 oct 2003 | | Exercices sur phrase et proposition, et sur les tables de vérité pour le calcul des propositions. Les transparents sont trop laconiques pour la méthode des arbres: on la verra sur les exercices au prochain TD (faire exs 1.9 à 1.12) |
- Transparents Tables de vérité et arbres (Dutant) |
- Exercices Correction des exercices de la semaine 1 (Dutant) - Correction des exercices donnés en sem 1 |
Semaine 3 |
|
TD : La méthode des arbres | actualisé le 21 oct 2003 |
| Conséquence valide et preuve: deux notions distinctes. Application des tables de vérité aux conséquences valides. Application des arbres aux tautologies, et aux preuves. |
- Transparents Sur conséquence logique et preuve, sur les arbres (Dutant) - Conséquence valide, preuve, introduction à la méthode des arbres |
- Exercices Exercices pour la semaine 4 (Dutant) - Exercices pour la semaine 4 |
- Exercices Correction exercices de la semaine 2 (Dutant) - Correction détaillée des exercices pour cette semaine |
Semaine 4 |
|
Cours : Calcul des propositions et langue naturelle | actualisé le 16 jan 2004 |
| Texte du cours que je n'ai pas eu le temps de donner, sur la vérifonctionnalité dans le language naturel, sur les connecteurs et les traductions du langage naturel vers la logique. Il vous permettra de comprendre les exercices 4.1 à 4.7. |
- Cours Calcul des propositions et langue naturelle (Dutant) - Calcul des propositions et langue naturelle |
- Exercices Exercices 4.1 à 4.7 (Dutant) - faire les exercices 4.1. à 4.7. pour la semaine 5 |
- Exercices Correction dde 1.10 et 1.11 (les arbres) (Dutant) - NOUVEAU: correction des arbres (1.10 et 1.11). |
- Exercices Correction de 3.1 (déduction naturelle) (Dutant) - Correction de l'exercice 3.1. sur la déduction naturelle |
Semaine 5 |
|
TD : Logique et langue naturelle | actualisé le 16 jan 2004 |
| La vérifonctionnalité. La disjonction (ou) inclusive et exclusive. L'implication matérielle. Les connecteurs et la négation. |
- Exercices Correction des exercices 4.1 à 4.7 (Dutant) |
Semaine 6 |
|
TD : Concepts fondamentaux et motivations du calcul des prédicats | actualisé le 16 jan 2004 |
| Pourquoi avons-nous besoin du calcul des prédicats: prédication (anaphore, relations, raisonnement basé sur elles), et quantification (statut spécial des quantificateurs, raisonnement syllogistique). Syntaxe du calcul des prédicats: portée des quantificateurs. |
- Transparents Introduction au calcul des prédicats (Dutant) - Transparents du cours |
- Exercices 6.1 à 6.7 Traduction et syntaxe du calcul des prédicats (Dutant) |
- Exercices Correction de 6.1 à 6.7 (Dutant) |
Semaine 7 |
|
TD : Arbres pour le calcul des prédicats | actualisé le 16 jan 2004 |
| Sémantique: interprétation, modèle, diagramme de Venn. Arbres pour trouver un modèle. Arbres pour vérifier qu'une proposition est une tautologie, ou qu'un argument est valide. La logique avec l'identité: la théorie des descriptions de Russell. |
- Exercices 7.1 à 7.3 Calcul des prédicats (sémantique et arbres) (Dutant) |
- Exercices 7.1 à 7.3 Correction détaillée (Dutant) |