Foundations of Computer Science

Instructor: Pascal Koiran

Institution: ENS de Lyon

Year: 2024–2025

Course chapters

Finite Automatas
Context-free languages
Turing Machines
Model of computation - Calculability Theory
Complexity Theory