IF242: Logique et Circuits - 2003/2004

Les transparents du cours sont en ligne peu avant chaque cours, et ils peuvent etre modifiés et corrigés (regardez bien la date de dernière modification).
Une trace des modifications et correction des transparents se trouve ici.

Chapitre	4up - 2up	Dernière mise à jour
Introduction (PDF)	4up.pdf - 2up.pdf	06/02/04
Caml (PDF)	4up.pdf - 2up.pdf	16/02/04
Caml, traits impératifs (PDF)	4up.pdf - 2up.pdf	16/02/04
Préliminaires Mathématiques (PDF)	4up.pdf - 2up.pdf	23/02/04
Définitions Inductives (PDF)	4up.pdf - 2up.pdf	26/02/04
Fonctions Simples (PDF)	4up.pdf - 2up.pdf	12/03/04
La solution des anagrammes en Ocaml
Logique Propositionnelle (PDF)	4up.pdf - 2up.pdf	18/03/04
Principe d'Induction (PDF)	4up.pdf - 2up.pdf	29/03/04
Induction sur les entiers (PDF)	4up.pdf - 2up.pdf	04/04/04
Induction sur les listes (PDF)	4up.pdf - 2up.pdf	26/04/04
Induction sur les arbres (PDF)	4up.pdf - 2up.pdf	02/05/04
Induction sur les formules (PDF)	4up.pdf - 2up.pdf	05/05/04

---

L'examen aura lieu en Amphi 34A et Amphi 44 le 9 juin 2004 de 8h30 à 11h30.

Les étudiants dont les 3 dernières chiffres de la carte étudiante donnent, modulo 9, un chiffre pair, vont en Amphi 44, les autres en Amphi 34A.
Exemple: l'étudiant dont la carte porte le n. 20013214 prend les 3 dernières chiffres, qui sont 214, calcule 214 modulo 9, ce qui donne 7; comme il s'agit d'un chiffre impair, il va en Amphi 34A.
N.B.: Seulement les notes de cours et de TD sont autorisées.

---

Les feuilles de TD et TP sont ici.

On trouve des notes sur l'installation de Ocaml sous Linux, Windows et Mac ici

N.B.: Ce cours est sensiblement le même que celui donné par Delia Kesner pour l'année académique 2002-2003, et dont la page web se trouve ici.

Voici, pour information, le sujet du partiel de 2003-2004 en postscript.