Partiel:le 26/10 de 9h a 12h, les documents sont
autorisés au partiel (Poly, Notes de Cours, Feuilles de TD 2000,
notes de TD), tout résultat déjà prouve en cours et/ou en
TD ne nécessite pas d'être redémontre
Devoir : énoncé distribué fin novembre au plus tard,
le devoir doit être rendu au plus tard le 22 décembre,
les fichiers étant envoyés par mail aux chargés de TD
Examen : pas encore fixée
Important: ces dates sont provisoires, fournies
seulement à titre indicatif. Renseignez-vous en consultant les
affichages ou auprès de votre secrétariat.
Quelques livres de logique
C.-L. Chang & R. C.-T. Lee, Symbolic Logic and Mechanical
Theorem Proving, Academic Press.
M. Fitting, First-Order Logic and Automated Theorem Proving,
Springer Verlag.
J.H. Gallier, Logic for Computer Science, John Wiley &
Sons.
R. Lassaigne & M. De Rougemont, Logique et
Complexité (Tome 1), Hermès.
Calcul de la moyenne de Logique
La moyenne de Logique se calcule de la manière suivante
(CC=contrôle continu):
Moyenne de Logique = (Moyenne CC + 2 x Note
l'examen) / 3
avec Moyenne CC = (Note du devoir + Note du partiel) / 2