Enseignement 2013/2014

Vous trouverez ici une liste des enseignements que j'ai donnés en 2013/2014, avec le matériel associé. Il s'agit d'une copie brutale: signalez-moi si quelquechose manque ou ne fonctionne pas. Retour vers ma page d'accueil.

L3: programmation 2

Travaux pratiques pour le cours de G. Castagna.

L3: logique

Travaux dirigés pour le cours de H. Comon:

  TD 1 2 3 4 5 6 7 8 9 10 11 12 13.

L3: λ-calcul

Travaux dirigés pour le cours de J. Goubault:

  TD 1 2 3 4 5 DM (corrigé) 6 7 8

M1: projet génie logiciel

Page du projet 2013/2014 ici. Descriptif du module MPRI .

À propos du LSV