Logique et Circuits (DEUG-MIAS)


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


Informations pratiques

Un partiel aura lieu le samedi 9 avril de 12h30 à 15h30 (amphis 34 A et 44).

L'examen final aura lieu le lundi 30 mai de 12h30 à 15h30 (amphis X2 et X3).

Les transparents du cours

Sujet Fichiers Dernière mise à jour
Introduction à OCAML (format PS, format PDF) 9/2/05
Notions mathématiques préliminaires (format PS, format PDF) 22/2/05
Définitions inductives (format PS, format PDF) 22/2/05
Fonctions simples sur les listes et les arbres (format PS, format PDF) 6/3/05
Calcul propositionnel (format PS, format PDF) 14/3/05
Principe d'induction (format PS, format PDF) 21/3/05
Induction sur les entiers (format PS, format PDF) 21/3/05
Induction sur les listes (format PS, format PDF) 4/4/05
Induction sur les arbres et les formules (format PS, format PDF) 9/5/05

Les feuilles de TD

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

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 )

TP 8 ( PS, PDF )

Le projet

Fichiers pour le projet: ig.cmi     ig.cmo     ig.mli     ig.ml
Énoncé ( Format PS )
Énoncé ( Format PS compressé gzip )
Énoncé ( Format PDF )
Énoncé ( Format PDF compressé gzip )