Enseignement 2014/2015

Vous trouverez ici une liste des enseignements que j'ai donnés en 2014/2015, 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

Tout est : cours avec H. Comon, et travaux dirigés.

Cette année a aussi eu lieu la 1e édition du MOOC d'intro à la logique informatique, sur FUN.

L3: Λ-calcul

Travaux dirigés: TD1, TD2, TD3, TD4, TD5, TD6, DM (corrigé), TD7...

... pour le cours de Jean Goubault.

M1: projet génie logiciel

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

About LSV