Enseignement 2016-2017

Systèmes de Gestion des Bases de Données (SGBD), en L3 Informatique, tout parcours. .
Supports de cours sur : plateforme pédagogique numérique de l'UEVE
et aussi ici : coursSGBD.pdf

Bases de Données Approfondies, en M1 Informatique et M1 MIAGE, partie I.
Supports de cours sur : plateforme pédagogique numérique de l'UEVE
et aussi ici : coursBDA.pdf

Spécifications et Vérifications Formelles, en M1 Informatique .
Supports de cours sur : plateforme pédagogique numérique de l'UEVE
et aussi ici : coursSpecForm.pdf

Model Checking et Systèmes Ouverts, en M2 CILS. Partie I .
Supports de cours sur : plateforme pédagogique numérique de l'UEVE
et aussi ici : coursATL.pdf

Quelques Enseignements Anciens

Logique (L2). Support : coursLogique.pdf
Le cours se fonde sur une partie du livre : > S. Cerrito. Logique pour l'Informatique : une introduction à la déduction automatique, Vuibert Publisher Co, october 2008, pp 1-178.

Calculabilité et Complexitée (M1). Support : Poly de Calculabilité et Complexité pdf