Logique L3 Informatique

Logique
L3 Informatique
Peter Habermehl
Université Paris Diderot, Sorbonne Paris Cité
UFR Informatique
Laboratoire LIAFA
[email protected]paris-diderot.fr
Peter Habermehl (U. Paris Diderot) Logique 22 janvier 2015 1 / 64

Modalités du cours
Chargés de TD (début la semaine prochaine) :
IGroupe 1:
Amélie Gheerbrant, Mercredi 10h30-12h30. Salle 1009, Sophie Germain
IGroupe 2:
Vlady Ravelomanana, Lundi 10h30-12h30, Salle 2035, Sophie Germain
IGroupe 3:
Arnaud Sangnier, Mercredi 13h30-15h30. Salle 2036, Sophie Germain
Trois devoirs à la maison distribués pendant le cours et à rendre
pendant le TD :
IDM 1: distribué la semaine du 16/02 et à rendre la semaine du 23/02
IDM 2: distribué la semaine du 09/03 et à rendre la semaine du 16/03
IDM 3: distribué la semaine du 30/03 et à rendre la semaine du 06/04
Les devoirs à la maison sont notés.
Peter Habermehl (U. Paris Diderot) Logique 22 janvier 2015 2 / 64

Modalités du cours
Examen partiel obligatoire : mi-mars.
Note 1ère session :
DM = (DM1+DM2+DM3)/3
Si DM >=10, alors Note = 1
2note partiel + 1 2examen final,
sinon Note = min(1
4DM + 3 8note partiel + 3 8note examen, 1 2note
partiel + 1
2examen final)
Note session rattrapage :
Max(exam rattrapage, 1
2note partiel + 1 2exam rattrapage)
Pendant le partiel et les examens, les étudiants auront droit
uniquement à la consultation de deux feuilles A4 recto-verso
manuscrites et strictement personnelles. Tous les autres documents ne
seront pas autorisés.
Peter Habermehl (U. Paris Diderot) Logique 22 janvier 2015 3 / 64

Documents du cours
Transparents du cours
http://www.liafa.univ-paris-diderot.fr/~haberm/cours/logique
AVERTISSEMENT: LES
TRANSPARENTS NE
CONTIENNENT PAS TOUT !
Tableau (exemples et démonstrations)
Peter Habermehl (U. Paris Diderot) Logique 22 janvier 2015 4 / 64

Bibliographie
Logique pour l’info. : introduction à la déduction automatique.
S. Cerrito,VUIBERT.
Mathématiques pour l’informatique.
A. Arnold et I. Guessarian,MASSON.
Logique et fondements de l’informatique.
R. Lassaigne et M. Rougemont,HERMES.
Logic for Computer Scientists
U. Schöning,BIRKHAUSER
Logic for Computer Science.
J. Gallier,WILEY. Disponible en ligne:
http://www.cis.upenn.edu/~jean/gbooks/logic.html
Logicomics.
A. Doxiadis, C. Papadimitriou, A. Papadatos, A. Di Donna, VUIBERT.
Peter Habermehl (U. Paris Diderot) Logique 22 janvier 2015 5 / 64