Semestre 1

Cursus Sigle Intitulé Responsable Divers
L1 IP1 Introduction à la Programmation Y. Régis-Gianas Le contrôle de TD du 4/10/2016 (avec correction), le corrigé du contrôle 2
M1 PFAv Programmation Fonctionnelle Avancée R. Treinen
M1 IntProg Interprétation des Programmes Y. Régis-Gianas
M2 LMFI MdP Modèles de la Programmation P. Letouzey

Semestre 2

Cursus Sigle Intitulé Responsable Divers
M1 PAO Preuves Assistées par Ordinateur P. Letouzey
M2 LMFI PFAO Initiation à la Preuve Formelle Assistée par Ordinateur P. Letouzey NB: mêmes TP et projet qu'en M1
M2 CompAv Compilation Avancée P. Letouzey

Anciens cours

Me contacter si besoin.