Discrete mathematics

• Set theory
• Graph theory
• Automaton theory
• Mathematical logic
• Boolean mathematics