Concept
Liste de concepts logiques
Cours associés (22)
HUM-351: Becoming an ethical engineer
Students will develop an understanding of the psychological and social processes of learning the following competences: (i) ethical sensitivity, (ii) ethical reasoning, (iii) ethical motivation, and (
ENG-644: Teaching STEM: a problem solving approach
Problem solving is a core engineering skill. This course explores relevant heuristics, epistemologies, metacognitive skills and evidence-informed teaching strategies for developing problem solving ski
MATH-301: Ordinary differential equations
Ce cours donne une introduction rigoureuse au principaux thèmes de la théorie des équations différentielles ordinaires (EDO). Les EDO sont fondamentales pour l'étude des systèmes dynamiques et des équ
MATH-101(a): Analysis I
Étudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles d'une variable.
MATH-101(e): Analysis I
Étudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles d'une variable.
CS-428: Interactive theorem proving
A hands-on introduction to interactive theorem proving, computer-checked mathematics, compiler verification, proofs as programs, dependent types, and proof automation.
Come learn how to write compute
MATH-101(pi): Analysis I (flipped classroom)
Étudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles d'une variable.
Cette classe est donnée sous forme inversée.
CS-628: Interactive Theorem Proving CS
A 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(ac): Studio BA5 (Bosshard et Vaquer)
The term sauvegarde is approached holistically from the side of care with the will to assist, protect, and therefore save. Design proposals grow out of the will to understand, looking for an overall c