Inf402/Inf432 : introduction à la logique

2021-2022

Équipe enseignante

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 :

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 :

Plan du cours

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 : mercredi 19 janvier à 15h15
EN : mardi 18 janvier à 9h45
TDs semaine 1 MIN-int : mardi 18/01 à 13h30
MIN-01 : jeudi 20/01 à 8h
INM-04 et MIN-04 : jeudi 20/01 à 8h
INM-02 : jeudi 20/01 à 9h45
INM-01 : jeudi 20/01 à 15h15
MAT-02 et MIN-03 : vendredi 21/01 à 13h30
Cours 2 Transparents du cours Lesson slides FR : jeudi 20 janvier à 13h30
EN : mercredi 19 janvier à 9h45
QCM d'entraînement chapitre 1
(login avec vos identifiants UGA)
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
Quizz d'entraînement chapitres 2 et 3
Pas de cours le 3 mars (forum des masters)
Cours 7 Transparents du cours Lesson slides
Partiels Partiel d'inf402/inf432 le 14 mars
Pas de cours ni de TD cette semaine
Cours 8 Transparents du cours Lesson slides
Quizz chapitre 4
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 les 27 et 28/04.
Après les derniers cours, le créneau de cours pourra être utilisé pour des rattrapages de TD ou pour les soutenances de projets.
Groupe Min-01 Soutenances jeudi 5/5 à 11h15 et jeudi 12/5 à 13h30
Groupe Inm-01 Soutenances jeudi 12/5 à 13h30


Formule de calcul de la note finale (hors ajustements dûs à la crise sanitaire)

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.