发送短信 : Logic and discrete mathematics: A computer science perspective