- Algorithm: Abstract step-by-step procedure for computation (imperative).
- Expression: Compositional structure evaluated under arbitrary semantics (declarative).
- Logic: Reasoning about validity of arguments (deductive or inductive).
Prefer "algorithm" for imperative code, "expression" for declarative code, and "logic" only for truth-valued reasoning.