Data types
Type theory
Binary decision diagram
Boolean algebra
Diagrams
Model checking
Function
Variable
Type system
Mathematics
Mathematical logic
Software engineering