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 discussed it with @rmascarenhas. I consider that `state the problem formally` as state the loop invariant. But it should be state what binary addition is.