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
CS-550: Formal verificationWe introduce formal verification as an approach for developing highly reliable systems. Formal verification finds proofs that computer systems work under all relevant scenarios. We will learn how to u
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
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
ENG-274: Programmation MatlabIntroduction au calcul scientifique, à la programmation et à la gestion et visualisation de données avec MATLAB / GNU Octave et Python sous GNU/Linux.
MATH-251(d): Numerical analysisThis course offers an introduction to numerical methods for the solution of mathematical problems as: solution of systems of linear and non-linear equations, functions approximation, integration and d
