Ola Nils Anders Svensson

Ce cours constitue une introduction à la théorie de calcul. Il examine les modèles théoriques de base de l'informatique ( automates finis, machines de Turing) et fournit une compréhension solide et mathématiquement précise de leurs capacités et les limite...

Advanced algorithms

Un premier cours de 2eme cycle sur les algorithmes, ce cours a peu de prerequis, mais va vite. Il couvre les techniques principales d'analyse et de conception d'algorithmes, et batit une collection d'algorithmes de solution dans toutes sortes de domaines.

Computational complexity

En théorie de la complexité, nous étudions les ressources nécessaires à résoudre des problèmes et les relations entre différents modèles de calcul. Ce cours donne une meilleure connaissance de la complexité informatique et aborde les questions ouvertes f...