Inf402/Inf432 : introduction à la logique

2019-2020

Programme du module:

Travail à distance durant l'interruption des enseignements du printemps 2020

Évaluation de l'UE

Toutes ces informations sont sous réserve de l'approbation du conseil du DLST le 27 avril puis de la CFVU le 5 mai.
Le travail qui sera demandé : Concernant l'évaluation de l'UE, la note finale sera constituée : Concernant la seconde chance, pour les étudiants qui seraient ajournés avec le calcul précédent :

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 14 janvier à 8h en amphi Est (bâtiment A au 421 rue de la Chimie)
EN : lundi 13 janvier à 15h15 en B318
TDs semaine 1 MIN-01 : mardi 14/01 de 9h45 à 11h15 en B008
MAT-02 et MIN-03 : mardi 14/01 de 14h à 15h30 en D104
INF-01 : mardi 14/01 de 15h15 à 16h45 en B006
INF-02 : jeudi 16/01 de 8h à 9h30 en B007
INF-03 : jeudi 16/01 de 8h à 9h30 en C021
MIN-int : vendredi 17/01 de 13h30 à 15h en B318
Cours 2 Transparents du cours Lesson slides FR : jeudi 16 janvier à 13h30 en amphi A1
EN : jeudi 16 janvier à 15h15 en B318
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 Corrections d'exercices partie 1 et partie 2 pour la semaine 7
Pas de cours le 5 mars (forum des masters)
Les TDs de la semaine sont maintenus
Partiels Partiel d'inf402/inf432 le 12 mars de 8h à 10h ; Pas de cours ni de TD cette semaine
Cours 8 Transparents du cours Lesson slides Liens pour la diffusion du cours en français et du cours en anglais
Corrections d'exercices pour la semaine 8
Cours 9 Transparents du cours Lesson slides Liens pour la diffusion du cours en français et du cours en anglais
Corrections d'exercices pour la semaine 9
Cours 10 Transparents du cours Lesson slides Liens pour la diffusion du cours en français et du cours en anglais
Corrections d'exercices pour la semaine 10
Cours 11 Transparents du cours Lesson slides Liens pour la diffusion du cours en français et du cours en anglais
Corrections d'exercices pour la semaine 11
Cours 12 Transparents du cours Lesson slides Liens pour la diffusion du cours en français et du cours en anglais
Corrections d'exercices pour la semaine 12
Les derniers cours d'amphi ont lieu le 30/04.
Après les derniers cours, 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 hors période de 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.