Concept
Théorie des types
Cours associés (32)
CS-320: Computer language processing
We teach the fundamental aspects of analyzing and interpreting computer languages, including the techniques to build compilers. You will build a working compiler from an elegant functional language in
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
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
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
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-474: Numerical flow simulation
This course provides practical experience in the numerical simulation of fluid flows. Numerical methods are presented in the framework of the finite volume method. A simple solver is developed with Ma
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
CS-214: Software construction
Learn how to design and implement reliable, maintainable, and efficient software using a mix of programming skills (declarative style, higher-order functions, inductive types, parallelism) and
fundam
PHYS-203: Computational physics I
Aborder, formuler et résoudre des problèmes de physique en utilisant des méthodes numériques simples. Comprendre les avantages et les limites de ces méthodes (stabilité, convergence). Illustrer différ
MGT-411: Innovation management
This is a collection of lectures on "structured innovation systems," codified approaches to stimulating and managing the process of innovation. Some of the systems to be covered may be Design Thinking