Thomas Bourgeat
Enseignement & Phd
Cours
Advanced information, computation, communication I
Les mathématiques discrètes sont une discipline ayant des applications dans presque tous les domaines d'études et donnent un ensemble d'outils indispensable pour l'informatique. Cette matière introduit des sujets divers comme le raisonnement mathématique, la combinatoire, les structures discrètes...
Foundations of software
Le cours présente les fondements sur lesquels les programmes et les langages de programmation sont construits. Il introduit la syntaxe, les systèmes de typage et la sémantique comme éléments de base qui, ensemble, définissent les propriétés d'une partie du programme ou du langage.