結果 : discrete mathematics for computer science an example based introduction