Semestre : |
||
FICHE MATIÈRE |
||
Élément Constitutif (ECUE) |
Vol. Horaire / Semestre |
|
| Informatique théorique |
|
|
Evaluation |
||
|
|
||
Liste des matières : - Théorie des langages - Logiques 1 - Introduction à la calculabilité |
||