(컴퓨터학을 위한) 이산수학 - 박덕원 朴德元 (그린, 2008)