結果 : discrete mathematics for computer science an example based introduction by jon pierre fortney