Zaslat SMS: Logic and Discrete Mathematics (A Computer Science Perspective)