Inf402/Inf432 : introduction à la logique

2023-2024

Équipe enseignante

Documents

Supports de cours

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 : 15 janvier à 13h30
EN : 15 janvier à 9h45
TDs semaine 1 jeudi 18 et vendredi 19/01 (consulter ADE)
Cours 2 Transparents du cours Lesson slides FR : jeudi 18 janvier à 13h30
EN : vendredi 19 janvier à 15h15
Pas de TD le 23 janvier (journée du lycéen)
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 FR : mardi 06/02 à 11h30
EN: Monday Feb 5th at 8AM
Cours 5 Transparents du cours Lesson slides
Cours 6 Transparents du cours Lesson slides
Quizz d'entraînement chapitres 2 et 3
FR : Pas de cours ni de TD le 22 février après-midi (forum des masters)
Cours 7 Transparents du cours Lesson slides
EN : No lesson on March 7th in the morning
Partiels Partiel d'inf402/inf432 le 11 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
Quizz chapitre 6
Les derniers cours d'amphi ont lieu le 18/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.


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.