GATE CS - ENGINEERING MATHEMATICS:Discrete Mathematics
Mastering discrete mathematics concepts and implementation.
Discrete Mathematics for GATE CS
Discrete Math usually contributes about 2–3 marks (sometimes more when counted with “math-shaped” CS questions). Expect combinatorics (, ), basic graph counting (handshaking, trees), and propositional logic. Formulas first; then one careful count.
1. Set Theory (Foundation for Logic & CS Theory)
A set is a well-defined collection of elements.
Notation:
- → x is in A
- → cardinality (number of elements)
1.1 Set Operations
Union
Intersection
Difference
Complement
If is the universal set:
1.2 Important Set Properties (Frequently Asked)
Commutative
Associative
Distributive
De Morgan’s Laws
GATE Tip:
Expect MCQs involving Venn diagrams, complements, or inclusion–exclusion.
2. Combinatorics (Most Tested Area)
Combinatorics questions are usually straightforward once the counting setup is clear.
2.1 Permutations (Order Matters)
Arrangements where order is important.
Example: Ways to arrange 5 distinct books = .
2.2 Combinations (Order Doesn’t Matter)
Selections where order is not important.
Example: Ways to choose 3 students from 10:
2.3 Pigeonhole Principle
If objects are placed in boxes, at least one box contains objects.
Generalised:
If objects are placed in boxes, at least one box contains objects.
GATE Usage:
- Algorithm analysis (collisions)
- Existence proofs
- Graph theory degree bounds
2.4 Inclusion–Exclusion Principle
Two sets:
Three sets:
GATE often hides this inside counting problems.
3. Graph Theory (Very Common in GATE)
A graph consists of:
- : set of vertices
- : set of edges
3.1 Types of Graphs
Undirected Graph – edges have no direction.
Directed Graph (Digraph) – edges are arrows .
Complete Graph \(K_n\)
Every pair of vertices is connected.
- Number of edges:
Tree
- Connected, acyclic graph
- For vertices:
- Extremely important in GATE.
3.2 Key Graph Properties
Degree
- Number of edges incident on a vertex.
Handshaking Lemma
This is very common in GATE.
Path – sequence of vertices with connecting edges.
Cycle – path where first and last vertices are same.
Connected graph – path exists between every pair of vertices.
4. Propositional Logic (Constant 1‑Mark Area)
Logic is core to algorithms, proofs, and Boolean algebra.
4.1 Logical Operators
- AND (\(\land\)) – true if both operands are true
- OR (\(\lor\)) – true if at least one is true
- NOT (\(\lnot\)) – negation
- Implication (\(\to\)) – false only when A = true, B = false
- Biconditional (\(\leftrightarrow\)) – true when both have same truth value
4.2 Logical Equivalences (Must Know for GATE)
Idempotent
Absorption
De Morgan
Implication
These help simplify formulas and solve truth-table questions quickly.
5. GATE PYQ‑Style Solved Questions
Q1. Combinatorics (PYQ)
How many 4‑digit numbers can be formed using digits 1–9 without repetition?
Q2. Pigeonhole Principle (PYQ)
In a group of 13 people, prove that at least 2 people have the same birth month.
- 12 months, 13 people → by pigeonhole principle, at least one month has ≥2 people.
Q3. Handshaking Lemma (PYQ)
A graph has 6 vertices and each vertex has degree 3. Find number of edges.
Q4. Logic Simplification (PYQ)
Simplify:
Rewrite implication:
So:
First term is false, so:
6. Common Mistakes to Avoid
- Confusing permutations with combinations
- Forgetting subtraction term in inclusion–exclusion
- Assuming all graphs are connected by default
- Mixing up the implication truth table
- Miscalculating in‑degree/out‑degree in directed graphs
- Ignoring factorial growth when estimating counts
Avoiding these mistakes prevents losses in direct formula-based questions.
7. Fast Revision Sheet (Night Before Exam)
Permutations
Combinations
Complete Graph
- Edges =
Tree
- Edges =
Handshaking
De Morgan
Implication
8. Practice problems
- How many permutations of the word “COMPUTER”?
- In a class of 40, show at least 4 students share a birth month.
- A complete graph has 45 edges. Find number of vertices.
- Simplify .
- Find if , , .