CS-210: Functional programmingUnderstanding of the principles and applications of functional programming, the fundamental models of program
execution, application of fundamental methods of program composition, meta-programming thr
MATH-467: Probabilistic methods in combinatoricsThe 'probabilistic method' is a fundamental tool in combinatorics. The basic idea is as follows: to prove that an object (for example, graph) with certain properties exists, it suffices to prove that
CIVIL-434: Structure and architectureL'objectif de ce cours est de démontrer que la structure n'a pas qu'une fonction porteuse. Elle est aussi un élément important de l'architecture. Des exemples classiques et actuels y sont étudiés pour
HUM-395: Building Blocks of Creativity ICreativity is a highly valued human capacity, and is a catalyst of innovation. Understanding its mechanisms and how it can be enhanced has occupied both researchers and practitioners, and is an active