1
An Introduction to Theoretical Computer Science
FLA 2026 Lecture Notes
Preface
1
An Introduction to Theoretical Computer Science
2
Data, Representations, and Problems
3
Turing Machines I
4
Turing Machines II
5
Undecidability by Diagonalisation
6
Undecidability by Reduction
Appendices
A
Undecidable Properties and Proofs
1
An Introduction to Theoretical Computer Science
Maybe one day I will write something for this page…
Preface
2
Data, Representations, and Problems