Assignments for the Theory of Programming(3rd Course)/Methods of Program Verification and Optimization(5th Course) course.