Theoretical computer science
Mathematical logic
Recursion
Computability theory
Mechanical puzzles
Tower of Hanoi
Algorithm
Pointer
Sorting algorithm