This undergraduate level course introduces essential concepts and techniques from Discrete Mathematics that are widely used in Computer Science.  The course will enhance students’ logical and critical thinking skills. They will learn to apply mathematical concepts in formulating and structuring problems and then designing provable solutions.

(For detailed information, students should access the course page at the Vanderbilt University portal (Brightspace).)

CS2212 - Discrete Structure           

(Fall 2020 - Vanderbilt University (EECS))

Courses Taught Previously:


  • CS 2212 - Discrete Structures           (Fall 2019, Spring 2020)

       Vanderbilt University, Nashville, TN, US

  • EE 540 - Linear Control Systems           (Fall 2017, Fall 2018)

       Information Technology University, Lahore, Pakistan

  • EE 571 - Networked Control Systems           (Spring 2018, Spring 2019)​

       Information Technology University, Lahore, Pakistan

  • CS 396 - Security in CPS          (Spring 2015)

       Vanderbilt University, Nashville, TN, US

  • CETL 8000 - ECE Graduate Teaching Assistant Preparation         (Fall 2013)

       Georgia Institute of Technology, Atlanta, GA, US


Topics                                          Lecture Notes/ Slides

1. Logic                                       1,   2,   3,   4,   5 

2. Proofs                                      6,  7                             

3. (Exam 1)                                  8

4. Sets                                         9 

5. Functions                                 10,   11

6. Binary Relations                       12,   13

7. Algorithms Analysis                  14 

8. Induction and Recurrence         15,   16,   17

9. Integers                                  18

10. Counting                               19,   20