DOCUMENTS D'ENSEIGNEMENT

1. REMISE A NIVEAU DE LOGIQUE, DEA I3, 2000-2001 et 2001-2002 (Responsable : S. Cerrito)



2. LOGIQUE ET PROGRAMMATION FONCTIONNELLE



3. REMISE A NIVEAU EN CALCULABILITE ET COMPLEXITE, DEA I3 1999-2000 et 2001-2002.
   • Slides.ps
   
   
   • Correction d'un exercice de complexite



4. COURS DE LOGIQUE, Licence-IUP2 (Responsable : S. Cerrito)


• Page du cours 2000-2001
Page du cours 1999-2000





5. COURS DE CALCULABILITE (Ancien Cours; Responsable : S. Cerrito)
   S. Cerrito, H. Comon, C. Crepeau. Calculabilité et Complexité. Polycopié pour le Cours de Calculabilité et Complexité. ( pdf).




6. COURS DE BD II, 2000-2001 (Responsable Ch. Froidevaux, TD : S. Cerrito et C. Rouveirol)




7. COURS D'APPROCHE FONCTIONNELLE EN IUP1 (Responsable : D. Kesner, TD et TP par S. Cerrito et Ph. Marty)


• Feuille de TD1 ( Feuille de TD1, postcript, sans corrigé).


• Feuille de TD2 ( Feuille de TD2, postcript, sans corrigé).


• Feuille de TD3 ( Feuille de TD3, postcript, sans corrigé).


• Corrige d'un exercice du TD3 ( foire.ml).


• Feuille de TD4 ( Feuille de TD4, postcript, sans corrigé).


• Corrige du TD4 ( td4AF.ml).


• Feuille de TD5 ( Feuille de TD5, postcript, sans corrigé).


• Corrige du TD5 ( td5AF.ml).


• Enoncé du projet ( Calendrier Gregorien, postcript, sans corrigé, certes!).


• Ancien Examen ( Examen AF 2000, postcript, avec corrigé).




8. COURS DE GL II, 2001-2002 (Responsables S. Cerrito, Ch.Paulin)