Computer Science Notes: Discrete Mathematics