Concept
Dependent type
Related courses (36)
ME-104: Introduction to structural mechanics
The student will acquire the basis for the analysis of static structures and deformation of simple structural elements. The focus is given to problem-solving skills in the context of engineering desig
CIVIL-522: Seismic engineering
This course deals with the main aspects of seismic design and assessment of buildings including conceptual design. It covers different structural design and evaluation philosophies for new and existin
ENV-221: Hydrology for engineers
This is an introductory course to key concepts and methods in physical and engineering hydrology.
ENG-209: Data science for engineers with Python
Ce cours est divisé en deux partie. La première partie présente le langage Python et les différences notables entre Python et C++ (utilisé dans le cours précédent ICC). La seconde partie est une intro
ME-454: Modelling and optimization of energy systems
The goal of the lecture is to present and apply techniques for the modelling and the thermo-economic optimisation of industrial process and energy systems. The lecture covers the problem statement, th
MSE-422: Advanced metallurgy
This course covers the metallurgy, processing and properties of modern high-performance metals and alloys (e.g. advanced steels, Ni-base, Ti-base, High Entropy Alloys etc.). In addition, the principle
ENV-501: Material flow analysis and resource management
This course provides the basis to understand material and energy production and consumption processes. Students learn how to develop a material flow analysis and apply it to resource management cases.
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!
EE-203: Electronics II
Ce 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
CIVIL-705: Selected Topics on Advanced Composites in Engineering Structures
The course focuses on the current investigations in the fields of fatigue and fracture of composite materials and composite structural components, like adhesively-bonded joints. Students would be able