Page d'accueil IMAG

  Pascal Lafourcade

English version Home

Informations pour le groupe INF-S4-02

INF242 :Introduction à la logique

(base de la démonstration automatique) par Michel Levy.

Programme prévisisonnel :
  • Introduction
  • Logique Propositionnelle:
    • Table de vérité, forme normale
    • Résolution
    • Déduction naturelle
  • Logique du premier ordre:
    • Déduction naturelle
    • Résolution
    • Complétude

Rappel

Le poly est distribué uniquement en cours! Il est préférable de lire le poly avant d'aller en cours et de préparer les exercices pour le prochain TD.

Le DM se trouve ici : dm.pdf Il utilise Prover 9

Coordonnées

Adresse 
Pascal Lafourcade
Laboratoire Verimag centre Equation
2, avenue de Vignate
38610 Gières
FRANCE
Bureau : CTL1/B4D
Tél : +33 (0) 4 56 52 04 14
Mobile : +33 (0) 6 83 54 90 70
Fax : +33 (0) 4 56 52 03 44
E-mail : pascal.lafourcade@imag.fr
Verimag Webmail

Planning

TD Date Heure Salle X/19 Exercices faits Commentaires A faire
1 Jeudi 31 Janvier 2008 8h00 - 9h30 DLST - B006 13 Ch1 : 1 -> 7 Exo7: 3 -> q=> q \/ r Ch1 : 8,9,10,15,16
2 Mercredi 6 Février 2008 13h00 - 15h30 DLST - E202 13 Ch1 : 8, 9, 10, 15.1 ch1 : 15, 16, 17, 11
3 Jeudi 7 Février 2008 8h00 - 9h30 DLST - B006 12 Ch1 : 15, 16, 11, 12, 13, 14, 18.1 ch1 : 17, 18
4 Vendredi 8 Février 2008 15h15 - 16h45 DLST - E202 14 ch1 : 17, 18 ch2: 1, 2, 3, 4 Quick0 ch1 : 19
5 Jeudi 14 Février 2008 8h00 - 9h30 DLST - B006 13 ch1 : 19, ch2 : 5,6 a moins que = XOR ch2: 7,8,9,10
6 Vendredi 15 Février 2008 15h15 - 16h45 DLST - E202 13 ch2 : 7,8,9,13,11,12 ch2 : 14, 15, 16
7 Jeudi 28 Février 2008 8h00 - 9h30 DLST - B006 14 ch1 : 18 14 QUICK 1
8 Vendredi 29 Février 2008 15h15 - 16h45 DLST - E202 14 ch2: 15 16 17
9 Jeudi 6 Mars 2008 8h00 - 9h30 DLST - B006 13 ch3: 39 40 41 DM1
10 Vendredi 7 Mars 2008 15h15 - 16h45 DLST - E202 14 ch3: 42 43 44 45
11 Mercredi 12 Mars 2008 13h30 - 15h15 DLST - E202 9 ch3: 46 47 48 49 1 2 4
12 Jeudi 13 Mars 2008 8h00 - 9h30 DLST - B006 13 fin Ch3: 49 PARTIEL Moyenne : 11.5
13 Jeudi 27 Mars 2008 8h00 - 9h30 DLST - B006 14 1er Ordre 51 52 53.3 52 53
14 Vendredi 28 Mars 2008 15h15 - 16h45 DLST - E202 13 53 54 55 56 57 58 59 60
15 Mercredi 2 Avril 2008 13h30 - 15h00 DLST - F1 57 58 59 QUICK
16 Jeudi 3 Avril 2008 8h00 - 9h30 DLST - B006 59 60 61 62 63 64
17 Jeudi 10 Avril 2008 8h00 - 9h30 DLST - B006 65
18 Vendredi 11 Avril 2008 15h15 - 16h45 DLST - E202 66 67 68
19 Jeudi 24 Avril 2008 8h00 - 9h30 DLST - B006 68. 3 4 5 6
20 Vendredi 25 Avril 2008 15h15 - 16h45 DLST - E202 70 69 68 56.7
21 Vendredi 2 Mai 2008 15h15 - 16h45 DLST - E202 73 74 75 76
22 Vendredi 9 Mai 2008 15h15 - 16h45 DLST - E202 83 78
23 Mai 2008 DLST 79 80 81
24 Mai 2008 DLST 82 84 85