Matematika Diskrit dan Aplikasinya pada Ilmu Komputer