Page d'accueil IMAG

  Pascal Lafourcade

English version Home

Informations pour le groupe INF-S4-01 MAT-S4-01

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.

Ici un prouveur classique proposé par Michel Levy.

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

A rendre par email le lundi 4 mai 2009 avant minuit et à faire par 2 ou 3.

IMPORTANTle logiciel est sur palentir, qu'il faut déjà se connecter sur gallien ou nougat puis sur palentir via : ssh -X palentir.
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

Ch1: 18.5 .6, 19, 20, 25, 26, 27, 28, 29
TD Date Heure Salle X/24 Exercices faits A faire Commentaires
1 Mercredi 28 Janvier 2009 8h00 - 9h30 PHY-A - 102 20 Ch1 : 1 -> 5 Ch1 : 6,7,8,9,10
2 Vendredi 30 Janvier 2009 11h30 - 13h00 DLST - D003 19 Ch1 : 6, 7, 8, 9, 10 Ch1 : 15, 16, 11, 12, 13, 14
3 Lundi 2 Février 2009 9h45 - 10h45 DLST - F2 24 Ch1 : 15, 11, 12, 13, 14 16, 17, 18, 19, 20
4 Mercredi 4 Février 2009 8h00 - 9h30 PHY-A 102 21 Ch1 : 16, 17, 18 .1 .2 .3 Ch1 : fin 18, 19, 20, Ch2: 21, 23, 23, 24
5 Lundi 9 Février 2009 9h45 - 10h45 DLST - F2 20 Ch1 : 18.4 Ch2: 21, 23, 23, 24
6 Mercredi 11 Février 2009 9h45 - 11h15 PHY-A 119 21 QUICK Ch1: 18.5, 25, 26, 27, 28 Ch1: 18.6, 19, 20, 29, 30, 31
7 Lundi 2 Mars 2009 9h45 - 10h45 DLST - Amphi A1 ? Ch2: 18.6 19 19.3 Bidinger
8 Mercredi 4 Mars 2009 9h45 - 11h15 PHY A - 119 19 19.3 + Ch2: 30, 32, 33, 34 Ch2: 31, 35, 36, 37, 38 + 20
9 Vendredi 6 Mars 2009 11h30 - 13h00 DLST - F1 22 Ch2: 31 37 38 Ch2: 35, 36, 38
10 Lundi 9 Mars 2009 9h45 - 10h45 DLST - F2 22 Quick 2 + Fin Ch2: 35, 36, 38 DM=20 + Ch3
11 Mercredi 11 Mars 2009 9h45 - 11h15 PHY A - 119 11 39,40,41, 42 fin 42, 43, 44, 47
12 Lundi 16 Mars 2009 9h45 - 10h45 DLST - F2 23 fin 42, 43, 44, 47 45, 46, 48, 49
13 Mercredi 18 Mars 2009 9h45 - 11h15 PHY A - 119 20 45, 46, 48 49
14 Lundi 30 Mars 2009 9h45 - 10h45 DLST - F2 21 49, 50, 51, 52, 53 54, 55, 56
15 Mercredi 1 Avril 2009 8h00 - 9h30 PHY A - 119 22 54, 55, 56 57, 58, 60, 62, 63, 64
16 Mercredi 1 Avril 2009 9h45 - 10h45 PHY A - 119 21 57, 58, 60, 62, 63, 64 59, 61 65, 66
17 Lundi 20 Avril 2009 9h45 - 10h45 DLST - F2 21 65, 66 67,68, 69
18 Mercredi 22 Avril 2009 8h00 - 9h30 PHY A - 119 18 59,61 67,68,69,70
19 Mercredi 22 Avril 2009 9h45 - 11h15 PHY A - 119 19 67,68,69,70,71 72
20 Lundi 27 Avril 2009 9h45 - 10h45 DLST - F2 22 73,74;75 72, 76, 77 QUICK 3 + bonus participation
21 Mercredi 29 Avril 2009 9h45 - 11h15 PHY A - 119 17 76,77
22 Lundi 4 Mai 2009 9h45 - 10h45 DLST - F2 22 78,79,80 Quick 4 Deadline DM
23 Mercredi 6 Mai 2009 9h45 - 11h15 PHY A - 119 22 81 Quick 5
24 Lundi 11 Mai 2009 9h45 - 10h45 DLST - F2 18 82,83,84,85
CC2 = 20% max (participation, presence, DM)+ 20% (moyenne(2 min(participation, presence, DM)))+60% moyenne quick.
moyenne quick = 4 max (Quick1,Quick2,Quick3,Quick4,Quick5,mini-dm)
Note finale=20%CC1+20%CC2+60%Examen
BDDC