Introductory Discrete Mathematics for Computer Science