Concept

Recursively enumerable language

Cours associés (5)

Ce cursus particulier - dont l'admission est sujette à l'acceptation d'un dossier de candidature (Les candidats libres ne sont pas acceptés) - offre à l'étudiant engagé dans des études en musique de haut niveau en parallèle à ses études EPFL la possibilité ...

HUM-331: Études musicales D

Ce cursus particulier - dont l'admission est sujette à l'acceptation d'un dossier de candidature (Les candidats libres ne sont pas acceptés) - offre à l'étudiant engagé dans des études en musique de haut niveau en parallèle à ses études EPFL la possibilité ...

MATH-483: Gödel and recursivity

Gödel incompleteness theorems and mathematical foundations of computer science ...

MATH-642: Artificial Life

We will give an overview of the field of Artificial Life (Alife). We study questions such as emergence of complexity, self-reproduction, evolution, both through concrete models and through mathematical results. We will describe some of the most influential ...

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 as diverse as mathematical reasoning, combinatorics, disc ...