Worked examples: Logic, invariants, and discrete processes
Examples progress from core methods to challenging applications.
Explain the central idea and its conditions.
Solve multistep problems and verify the result.
Transfer the method to other bank problems.