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)