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.
yep, I'm started to get this loop invariant thing. I think that your proposition is the way to go. But I'd like to discuss more about it to get a better understanding.