Work with relations, recurrence equations, Boolean algebra, finite-state models, and invariants used in algorithms and digital systems.
