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.
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.
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.
