Inf402/Inf432 : introduction à la logique

2016-2017

Programme du module:

Documents

Supports de cours

Lien ADE
Poly de cours et d'exercices
English handout (automated translation, contact us if you'd like to contribute and enhance it)
English exercise handout
Le corrigé du partiel 2017 est disponible.

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.

Pas de TD vendredi 24 mars (forum des masters)
Enseignement Transparents en français Transparents en anglais Remarques
Cours 1 Transparents du cours Transparents du cours FR : lundi 9 janvier à 11h30 en amphi A2
EN : mardi 10 janvier à 15h15 en B222
TDs semaine 1 Un seul TD par groupe (mardi ou vendredi selon les groupes)
Cours 2 Transparents du cours Transparents du cours FR : jeudi 12 janvier à 13h30 en amphi A1
EN : jeudi 12 janvier à 15h15 en B220
Cours 3 Transparents du cours Transparents du cours
Cours 4 Transparents du cours Transparents du cours Jeudi 26 janvier : pas de cours en anglais
Cours 5 Transparents du cours Transparents du cours
Cours 6 Transparents du cours Transparents du cours Jeudi 16 février : pas de cours en français
Cours 7 Transparents du cours Transparents du cours Reprise des cours magistraux le 2 mars pour tous les groupes
Partiels Pas de cours ni de TD la semaine du 6 mars
Cours 8 Transparents du cours Transparents du cours
Cours 9 Transparents du cours Transparents du cours
Cours 10 Transparents du cours Transparents du cours
Cours 11 Transparents du cours Transparents du cours Pas de cours ni de TD en anglais les : 4, 6, 13 avril (de 15h15 à 16h45)
Cours 12 Transparents du cours Transparents du cours Cours supplémentaire en anglais le 27 avril de 13h30 à 15h en A105
Dernier TD en anglais le 2 mai de 15h15 à 16h45
Cours terminés Le dernier CM en français a lieu le 13 avril.
Le dernier CM en anglais a lieu le 27 avril.
Soutenances de projets Le créneau de cours du jeudi 4 mai pourra être utilisé pour des rattrapages de TDs ou des soutenances de projets.
Groupe Min-int Les soutenances en anglais auront lieu le mercredi 3 mai de 8h à 9h30.
Groupes Mat-02 + Min-01 Soutenances mardi 2/5 à 8h, jeudi 4/5 à 13h30 et vendredi 5/5 à 13h20.
Les horaires par groupes ont été affichés.


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.