发送短信 : Introductory logic and sets for computer scientists