- Introduction to Theoretical Computer Science: Between Finite and Infinite - From Mathematical Theory to AI and Autonomous Driving
- Discusses how Mathematical Foundations is one of the applications of Applied Mathematics (digression)
- Meta Mathematics
- Talks about concepts such as Proof, Definition, and Theorem
- Defining a definition (??)
#mathematics (Master of Information Science)