Logique et Circuits (DEUG-MIAS)


Informations générales sur le cours (format PS, format PDF)


Les transparents du cours

Sujet Fichiers Dernière mise à jour
Introduction à OCAML (format PS, format PDF) 17/02/03
Notions mathématiques préliminaires (format PS, format PDF) 19/02/03
Définitions inductives (format PS, format PDF) 10/03/03
Fonctions simples sur les listes et les arbres (format PS, format PDF) 20/03/03
Calcul propositionnel (format PS, format PDF) 20/02/03
Principe d'induction (format PS, format PDF) 20/03/03
Induction sur les entiers (format PS, format PDF) 27/03/03
Induction sur les listes (format PS, format PDF) 27/03/03
Induction sur les arbres (format PS, format PDF) 05/05/03
Induction sur les formules (format PS, format PDF) 12/05/03

Les feuilles de TD

TD 1 ( PS, PDF )
TD 2 ( PS, PDF )
TD 3 ( PS, PDF )
TD 4 ( PS, PDF )
TD 5 ( PS, PDF )
TD 6 ( PS, PDF )
TD 7 ( PS, PDF )
TD 8 ( PS, PDF )
TD 9 ( PS, PDF )
TD 10 ( PS, PDF )
TD 11 ( PS, PDF )
TD 12 ( PS, PDF )

Les feuilles de TP

TP 1 ( PS, PDF )
TP 2 ( PS, PDF )
TP 3 ( PS, PDF )
TP 4 ( PS, PDF )
TP 5 ( PS, PDF )
TP 6 ( PS, PDF )
TP 7 ( PS, PDF )
et fichier cp.ml
TP 8 ( PS, PDF )
TP 9 ( PS, PDF )
TP 10 ( PS, PDF )
TP 11 ( PS, PDF )

Le projet

Énoncé ( Format PS )
Énoncé ( Format PS compressé gzip )
Énoncé ( Format PDF )
Énoncé ( Format PDF compressé gzip )

Pour les formats compressés faire "gzip -d nom-fichier" sous FreeBSD.