Chapter 2: Getting Started

@laurocaetano, @rmascarenhas, @andrielfn and @rcillo After a lot of effort on this chapter I tried my best to solve exercises and problems, but couldn't finish all of them.
This proof of correctness is plus right? I understood that the exercise just asked for the pseudocode, right?