結果 : discrete mathematical structures in computer science 1