Enseignement

Dominique Duval
Enseignement - documents et liens

Polytech Grenoble - RICM - Réseaux Informatiques et Communication Multimédia

RICM3 - Maths Discrètes

DS et examen (2010-11)
DS et examen (2009-10)

RICM4 - Outils Formels (partie Cryptographie)

Présentation du cours (2009-10)

RICM4 - Bases de Données

Description du cours
Présentation du cours (2009-10)

UFR IMAG - Informatique et Mathématiques Appliquées - Grenoble

M2P CCI - Compétence Complémentaire en Informatique - Bases de Données (TD)

M1 MAI - Mathématiques Appliquées et Industrielles - Programmation par Contrat

Présentation du cours (2009-10)

M2 MIA - Maths For Fun - 1, 2, 3, soleil !

Un document : A tutorial on (co)algebras and (co)induction, B. Jacobs and J. Rutten
Notes de cours (2009-10)
Examens : 2008-09, 2009-10

M2 MIA - Spécification en Calcul Formel

ARCHIVES

Cours d'Ecole Doctorale (2008-09) Langage et concepts catégoriques pour les mathématiques et l’informatique, avec Pierre Hyvernat et Tom Hirschowitz
Cours de M2R SL (2006-07) Catégories et Applications à l'Informatique
Cours d'Ecole Doctorale (2005-06) Quelques diagrammes pour l'informatique