This course tries to bridge the gap between the formal definition and practical use of Mathematical Tools in Computer Science.