**Syllabus:**

Propositional and first-order logic. Sets, relations, functions, partial orders, and lattices. Groups. Graphs: connectivity, matching, coloring. Combinatorics: counting, recurrence relations, generating functions

**Very Important topics:** Propositional and first-order logic, Groups, Counting, Relations, introduction to graphs, connectivity, trees

**TextBooks:** Kenneth . H. Rosen

- SETS Theory
- Sets Practice Questions
- Proving Methods Theory
- Proving Methods
- Logic Theory
- Propositional Logic Practice Questions
- First Order Logic Theory
- First-Order Logic Practice Questions
- Function Theory
- Functions Practice Questions
- Counting Theory
- Counting Practice Questions
- Proving Methods Practice Questions
- Groups
- Groups answers
- Graphs
- Groups answers
- Discrete Answer Keys