Concept

Halting problem

Related courses (6)

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, the solving methods for the simulation and the single and ...

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 ...

AR-402(am): Studio MA2 (Everaert and Lateur)

'Preparing for the apocalypse' takes you to Puglia, where people are confronted with millions of century-old olive trees dying. In dialogue with local communities, we will explore whether architecture can help create a new future for a country that is seei ...

AR-302(am): Studio BA6 (Everaert and Lateur)

'Preparing for the apocalypse' takes you to Puglia, where people are confronted with millions of century-old olive trees dying. In dialogue with local communities, we will explore whether architecture can help create a new future for a country that is seei ...