|
|
Unité L3 : matières optionnelles. ECTS : 10
Il faut choisir exactement deux matières parmi deux. Il n'y a pas d'options
donc cette année. (Les options architecture des ordinateurs et théorie de
l'information ne sont pas proposées cette année).
| Traduction - 2ème semestre |
Cours : Éric Laporte
|
|
Analyse lexicale et Lex, analyse syntaxique et traduction et
Yacc. Attributs et évaluation sémantique. |
TD 1 : Julien Cervelle
TD 2 : Sébastien Paumier
TD 3 : ???
|
|
Support de cours
|
|
| Programmation fonctionnelle - 2ème semestre |
Cours : Marie-Pierre Béal
|
|
Logique : calcul des propositions et introduction au calcul des prédicats.
Programmation fonctionnelle en Objective Caml.
|
TD 1 : Sébastien Paumier
TD 2 : Chloé Rispal
TD 3 : Chloé Rispal
|
|
Support de cours
|
|
|
|
