Inf402/Inf432 : introduction à la logique

2018-2019

Programme du module:

Documents

Supports de cours

Lien ADE
Poly de cours et d'exercices
English exercise handout

Projet

Projet par groupes de 3 (éventuellement 4). Le sujet détaillé est disponible ci-dessous : Une version papier est disponible sur simple demande auprès du chargé d'amphi.

Grille indicative de notation du projet Aide pour le format Dimacs.
Aide pour la réduction SAT vers 3-SAT.
Des idées de problèmes bien adaptés à ce projet : Des sujets à éviter, pour des raisons théoriques ou par expérience :

Administratif

Équipe enseignante:

Documents de cours et séances modifiées

Dans ce planning ne sont reportées que les dates des séances qui diffèrent de l'emploi du temps type.

Enseignement Transparents en français Transparents en anglais Remarques
Cours 1 Transparents du cours Lesson slides FR : mardi 15 janvier à 8h en amphi Ouest (bâtiment A au 421 rue de la Chimie)
EN : mercredi 16 janvier à 8h en B212
TDs semaine 1 INF-01 : mardi 15/01 de 15h15 à 16h45 en B006
INF-02 : mercredi 16/01 de 13h30 à 15h en B007
INF-03 : jeudi 17/01 de 8h à 9h30 en C021
MIN-01 : jeudi 17/01 de 9h45 à 11h15 en E202
MAT-02 et MIN-03 : jeudi 17/01 de 9h45 à 11h15 en B005
Cours 2 Transparents du cours Lesson slides FR : jeudi 17 janvier à 13h30 en amphi A1
EN : jeudi 17 janvier à 15h15 en B212
Cours 3 Transparents du cours Lesson slides
Cours 4 Transparents du cours Lesson slides
Cours 5 Transparents du cours Lesson slides
Cours 6 Transparents du cours Lesson slides
Cours 7 Transparents du cours Lesson slides
Pas de cours le 7 mars (forum des masters)
Les TDs de la semaine sont maintenus
Partiels Partiel d'inf402/inf432 le 13 mars de 11h à 13h ; Pas de cours ni de TD cette semaine
Cours 8 Transparents du cours Lesson slides
Cours 9 Transparents du cours Lesson slides
Cours 10 Transparents du cours Lesson slides
Cours 11 Transparents du cours Lesson slides
Cours 12 Transparents du cours Lesson slides
Les derniers cours d'amphi ont lieu le 18/04.
Le créneau du jeudi après-midi pourra être utilisé pour des rattrapages de TD ou pour les soutenances de projets.


Formule de calcul de la note finale

Note finale = 60% CC + 40% Examen

dont CC = 10% Quicks + 20% Partiel + 30% Projet

Ressources

Annales

Les solutions sont minimalistes et ne constituent pas un modèle de rédaction.

Outils

Livres et sites web

Divers

De 2010 à 2012 ce cours fut enseigné par Pascal Lafourcade.
Jusqu'en 2009 ce cours fut enseigné par Michel Levy.