Catalogue Description. Elements of Logic. Basic Proof Techniques. Propositional Logic. Propositional Equivalences. Predicates and Quantifiers. Set Theory and Operations on Sets. Relations. Functions. Basics of Counting. Permutations and Combinations. Combinatorial Arguments. Application to Analysis of Algorithms. Recurrence Relations. Solving Linear Recurrence Relations. Divide-and-Conquer Algorithms and Recurrence Relations. Generating Functions. Inclusion-Exclusion. Applications of Inclusion-Exclusion. Graphs and Trees and their Representation in Computing.
 

Textbook. K. H. Rosen, Discrete Mathematics and its Applications, 6th Edition, McGraw-Hill, 2007. 

Reference Book. V. K. Balakrishnan, Introductory Discrete Mathematics, Dover Books, 1996.