發送短信: Mathematical foundations of computer science