Logical Exercises For Algorithms