Course Syllabus

This course covers widely applicable mathematical tools for computer science, including topics from logic, set theory, combinatorics, Algebraic Structures and graph theory. It includes practice in reasoning formally and proving theorems. 

Textbooks:

1.     Kolman, Busby and Ross, “Discrete Mathematics and its Applications”, Pearson; 6 edition , 2008

(PDF) Discrete Mathematical Structures-Kolman.Busby.Ross | AKASH AGRAWAL - Academia.edu

2.     Trembly J.P and Manohar R, “Discrete Mathematical Structures with Applications to Computer  Science”, Tata McGraw–Hill Pub. Co. Ltd, 2003.

Reference Books:

1. .Kenneth H.Rosen, “Discrete Mathematics and its Applications”, Fifth Edition, Tata McGraw – Hill Pub. Co. Ltd,2003.