FCNSMAQFR4 credits This is a course on models of computation and the limits of computability. The first part of the course discusses mathematical models of computation and the problems that can be solved by each model. The second part of the course discusses problems that cannot be solved by any algorithmic process.