FIN-406: MacrofinanceThis course provides students with a working knowledge of macroeconomic models that explicitly incorporate financial markets. The goal is to develop a broad and analytical framework for analyzing the
CS-628: Interactive Theorem Proving CSA hands-on introduction to interactive theorem proving, proofs as programs, dependent types, and to the Coq proof assistant. Come learn how to write bug-free code!
AR-301(ak): Studio BA5 (Chavepayreo)A quoi peut servir un.e architecte ?
Nous réfléchirons ensemble à cette question à travers un projet de réinvention et réhabilitation de l'Institut Thérapeutique Educatif et Pédagogique (ITEP) les Éve
AR-302(ak): Studio BA6 (Chavepayre)A quoi peut servir un.e architecte ?
Nous réfléchirons ensemble à cette question à travers un projet de réinvention et réhabilitation de l'Institut Thérapeutique Educatif et Pédagogique (ITEP) les Éve
AR-401(ak): Studio MA1 (Chavepayre)A quoi peut servir un.e architecte ?
Nous réfléchirons ensemble à cette question à travers un projet de réinvention et réhabilitation de l'Institut Thérapeutique Educatif et Pédagogique (ITEP) les Év
AR-402(ak): Studio MA2 (Chavepayre)A quoi peut servir un.e architecte ?
Nous réfléchirons ensemble à cette question à travers un projet de réinvention et réhabilitation de l'Institut Thérapeutique Educatif et Pédagogique (ITEP) les Éve
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