Cours d'Informatique Fondamentale pour la deuxième année de l'EIDD :

- Langages rationnels

- Calculabilité

- Logique propositionnel (rappels) et du premier ordre

- Classes de complexité : P et NP