Concept
Langage algébrique déterministe
Cours associés (7)
COM-406: Foundations of Data Science
We discuss a set of topics that are important for the understanding of modern data science but that are typically not taught in an introductory ML course. In particular we discuss fundamental ideas an
BIO-468: Scientific literature analysis in computational molecular biology
The goal of this course is to learn to analyze a scientific paper critically, asking whether the data presented support the conclusions that are drawn. The analysis is presented in the form of a summa
BIOENG-451: Scientific literature analysis in neuroscience
The goal of this course is to learn to analyze a scientific paper critically, question if the data support the conclusions, and produce constructive referee reports in written or oral form. The papers
MATH-483: Gödel and recursivity
Gödel incompleteness theorems and mathematical foundations of computer science
NX-465: Computational neurosciences: neuronal dynamics
In this course we study mathematical models of neurons and neuronal networks in the context of biology and establish links to models of cognition. The focus is on brain dynamics approximated by determ
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-466: Water resources engineering and management
The course focuses on designing and managing water systems to ensure sustainable use for both human and environmental needs. Engineering aspects:water quantity, quality, timing, distribution. Manageme