Skip to main content
grasp.study
About
Explore
Pricing
Log in
Try it for free
Back to course
👋
Welcome to a Grasp lesson
Create a free account
to keep studying and create your own study path.
GATE CS 2026 Mastery Course
·
Module 1
Discrete Mathematics: Logic, Sets & Combinatorics
Truth Tables for Satisfiability, Tautology, and Contradiction
Evaluate propositional logic formulas for satisfiability, tautology, or contradiction using truth tables.
2
Converting to CNF and DNF
Convert propositional formulas into Conjunctive (CNF) and Disjunctive (DNF) Normal Forms using logical equivalences.
3
Translating English to First-Order Logic
Translate natural language sentences into First-Order Logic using predicates and quantifiers, identifying variable scope.
4
Formal Proofs in Propositional Logic
Construct formal proofs for logical arguments using inference rules like modus ponens, resolution, and proof by contradiction.
Understanding Relations: Properties, Posets, and Lattices
Classify relations based on their properties (reflexive, symmetric, transitive) and identify posets and lattices.
6
Function Properties: Injections, Surjections, Bijections, and Inverses
Determine if a function is injective, surjective, or bijective, and compute function composition and inverses.
7
Group Theory: Axioms, Lagrange's Theorem, and Subgroups
Apply group axioms and Lagrange's theorem to analyze properties of groups, subgroups, and cosets.
8
Advanced Counting Techniques
Solve counting problems using permutations, combinations, the inclusion-exclusion principle, and the pigeonhole principle.
Previous module
Next module
Discrete Mathematics: Graph Theory & Recurrence Relations