Inf402/Inf432 : introduction à la logique

2022-2023

Équipe enseignante

Documents

Supports de cours

Lien ADE
Poly de cours et d'exercices
English exercise handout Le corrigé du partiel 2023 est disponible.

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 18 janvier à 15h15
EN : mercredi 18 janvier à 8h
TDs semaine 1 jeudi 19 et vendredi 20/01 (consulter ADE)
Cours 2 Transparents du cours Lesson slides FR : jeudi 19 janvier à 13h30
EN : mercredi 18 janvier à 9h45
Pas de TD le 24 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
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 ni de TD le 2 mars après-midi (forum des masters)
Cours 7 Transparents du cours Lesson slides
Partiels Partiel d'inf402/inf432 le 16 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 Lesson slides
Quizz chapitre 6
Les derniers cours d'amphi ont lieu les 26 et 27/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.