Enseignements
- Mais d'où viennent les noms algorithme, algèbre, etc ? Un petit film (3mns) sur Al-Khwarizmi
- Calculabilité:
- Des petits films sur Alan Turing.
- Le diaporama du cours: 1ere partie, 2nde partie.
- La page de l'enseignement de compilation.
- Programmation fonctionnelle:
- Le diaporama du cours
- Model-checking:
- Le cours
- Le TP de SPIN
- Le TP d'UPPAAL
- Un programme web de traduction d'une formule de LTL en automate de Büchi
Vieilleries:
Anciens cours (sans ordre): cours et TP DNS (IG2000 IR1), cours et TP IMAP+POP (IG2000 IR1), cours d'introduction au codage (IG2000 IR1), cours de réseau (Maîtrise [M1] d'informatique), cours et travaux dirigés de C (Licence d'informatique [L3]), travaux dirigés et pratiques de C (Licence d'informatique [L2]), cours de C++ (Maîtrise d'informatique [M1]), cours et travaux dirigés de Java avancé (Maîtrise d'informatique [M1], DESS TTT [M2]), cours de Java (DESS TTT [M2]), travaux dirigés de Java (Licence [L3] et Maîtrise [M2] d'informatique, IG 2000 IR2), travaux dirigés de Java réseau (IG2000 IR2, Maîtrise d'informatique), travaux dirigés de Pascal (DEUG [L1]), travaux dirigés de système (Licence d'informatique [L3]), stage d'introduction à Unix (Licence d'informatique [L3], DESS TTT [M2]), cours d'introduction à l'informatique (DEUG [L1]), travaux dirigés de Caml (Licence d'informatique [L3]), travaux dirigés de calculabilité (Maîtrise d'informatique [M1]), travaux dirigés de structures discrètes (Licence [L2]), travaux dirigés de traduction (Maîtrise d'informatique [M1]), travaux dirigés d'algorithmique, etc
