Computer programming
Causality
Determinism
Philosophy of science
Randomness
Universal quantification
Mathematical logic
Software engineering
Constraint programming
Logic programming