CS-452: Foundations of softwareThe course introduces the foundations on which programs and programming languages are built. It introduces syntax, types and semantics as building blocks that together define the properties of a progr
HUM-365: Darwin, religion and scienceCe cours revient sur l'histoire des opposants à Darwin et au darwinisme : créationnistes, néo-créationnistes, partisans du dessein intelligent. Quels sont leurs arguments ? Quelles sont leurs stratégi
CS-450: Algorithms IIA first graduate course in algorithms, this course assumes minimal background, but moves rapidly. The objective is to learn the main techniques of algorithm analysis and design, while building a reper
MSE-215: Materials engineering IIAprès les polymères et les métaux, ce cours aborde les relations mise en oeuvre-structures-propriétés des matériaux céramiques pour la fabrication de composants en microtechnique. Les travaux pratique
CS-119(a): Information, Computation, CommunicationD'une part, le cours aborde: (1) la notion d'algorithme et de représentation de l'information, (2) l'échantillonnage d'un signal et la compression de données et (3) des aspects
liés aux systèmes: ordi