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!
CS-701: Human aspects of software engineeringStudents will be exposed to modern software engineering research and will learn how to evaluate, synthesize, and apply these research findings to their own independent projects. Time will also be spen
EE-203: Electronics IICe cours introduit les composants à semiconducteurs électroniques de base : diodes à jonction PN, transistors bipolaires et MOS. Leurs modes de fonctionnement en DC et AC sont étudiés. Les circuits
EE-206: Méthodes de mesureCe cours vise à transférer les concepts théoriques et les savoir-faire nécessaires à la réalisation de mesures de bonne qualité. Les contenus méthodologiques et technologiques seront exposés sous form
EE-282: Initiation to electronicsPrésentation des principaux composants de base de l'électroniques.
Analyse de circuits à base d'amplificateurs opérationnels.
Introduction aux circuits logiques élémentaires.
Principe de la conversion
EE-345: Radiation and antennasLes antennes sont utilisées dans une multitude d'applications de communications et de détection, demandant des fréquences et propriétés d'antennes très différentes. Ce cours décrit la théorie de base
EE-370: Electric power systemsCe cours décrit les composants d'un réseau électrique. Il explique le fonctionnement des réseaux électriques et leurs limites d'utilisation. Il introduit les outils de base permettant de les piloter.
