发送短信 : Logic and Discrete Mathematics (A Computer Science Perspective)