Matières enseignées
- Architecture des ordinateurs
- représentation de l’information
- circuits logiques combinatoires et séquentiels
- automate de contrôle, architecture de von Neumann
- langage machine
- Programmation logique avec contraintes
- introduction
- algorithmique classique
- langages formelles (introduction)
- graphe (introduction)
- Algorithmique
- introduction
- paradigme actionnel
- paradigme fonctionnel
- paradigme déclaratif
- récursivité
- Autres (naguère, pour la plupart)
- Système, Réseau
- Outils formels pour l’informatique (calcul de complexité, preuve de programmes)
- Outils mathématiques pour l’informatique (structures algébriques, graphes)
- Histoire de l’informatique
- Compilation
- Projet
