CS3220 Lecture Notes: Backward Euler Method