Concept
Model of computation
Cours associés (31)
CS-101: Advanced information, computation, communication I
Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics a
EE-556: Mathematics of data: from theory to computation
This course provides an overview of key advances in continuous optimization and statistical analysis for machine learning. We review recent learning formulations and models as well as their guarantees
CS-251: Theory of computation
This course constitutes an introduction to theory of computation. It discusses the basic theoretical models of computing (finite automata, Turing machine), as well as, provides a solid and mathematica
CIVIL-534: Computational systems thinking for sustainable eng.
This course integrates systems thinking and network analysis through theory and computing. The objective of this course is to develop expertise in computationally analyzing and modeling complex system
CS-459: Foundations of probabilistic proofs
Probabilistic proof systems (eg PCPs and IPs) have had a tremendous impact on theoretical computer science, as well as on real-world secure systems. They underlie delegation of computation protocols a
PHYS-512: Statistical physics of computation
The students understand tools from the statistical physics of disordered systems, and apply them to study computational and statistical problems in graph theory, discrete optimisation, inference and m
NX-435: Systems neuroscience
The course "Systems Neuroscience" explores neural circuits and networks to understand how groups of neurons process information and generate behavior. It integrates techniques from neurophysiology, an
CS-524: Computational complexity
In computational complexity we study the computational resources needed to solve problems and understand the relation between different types of computation.
This course advances the students knowle
MATH-483: Gödel and recursivity
Gödel incompleteness theorems and mathematical foundations of computer science
MSE-305: Introduction to atomic-scale modeling
This course provides an introduction to the modeling of matter at the atomic scale, using interactive Jupyter notebooks to see several of the core concepts of materials science in action.