Matematika diskrit dan aplikasinya pada ilmu komputer