MATH-611: Scientific programming for EngineersThe students will acquire a solid knowledge on the processes necessary to design, write and use scientific software. Software design techniques will be used to program a multi-usage particles code, ai
CIVIL-122: Structures ILe cours présente les bases du comportement des structures, de la détermination des efforts qui y agissent et les principes de leur dimensionnement. Le cours est basé sur la résolution des efforts par
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!
