Stav dette: Logic and Discrete Mathematics (A Computer Science Perspective)