Concept
Théorie oméga-cohérente
Cours associés (7)
ChE-403: Heterogeneous reaction engineering
The theoretical background and practical aspects of heterogeneous reactions including the basic knowledge of heterogeneous catalysis are introduced. The fundamentals are given to allow the design of m
EE-110: Logic systems (for MT)
Ce cours couvre les fondements des systèmes numériques. Sur la base d'algèbre Booléenne et de circuitscombinatoires et séquentiels incluant les machines d'états finis, les methodes d'analyse et de syn
MATH-381: Mathematical logic
Branche des mathématiques en lien avec le fondement des mathématiques et l'informatique théorique. Le cours est centré sur la logique du 1er ordre et l'articulation entre syntaxe et sémantique.
MATH-456: Numerical analysis and computational mathematics
The course provides an introduction to scientific computing. Several numerical methods are presented for the computer solution of mathematical problems arising in different applications. The software
MICRO-486: Project in neuroprosthetics
The student applies knowledge and know-how previously acquired in the classroom in the context of a research project that is consistent with his/her orientation ("Track") choice.
MATH-685: Learning Theory of Nonparametric Regression
This course is intended to give a brief overview of how to prove consistency results in nonparametric regression. In particular, we will focus on least-square regression estimators. Some connections t