A deep dive in one of the most important concepts in software development, with a hint of mathetmatics and logic.