Course module

Paper 2 | Discrete Mathematical Structure — MPPSC Assistant Professor 2026 – Computer Science (Paper 1 + Paper 2)

Explore the module outline and lessons below. Enroll free to begin studying here.

Lessons: 300
Duration: 19 hr 2 min
PYQs: 322
Practice: 145

6% of this course's PYQ weight is covered in this module.

Syllabus index

Lessons in this module

300 linked lessons

Digital Systems & Boolean Basics

Digital Fundamentals & Boolean Algebra

Logic Gates & Hardware

Evolution, NOT, OR & AND Gates

Universal Gates: NAND & NOR

Ex-OR, Ex-NOR Gate & Relation

Boolean Expression

SOP & POS Canonical Forms

Boolean Function Counts

Functional Completeness

Universal Realization

Boolean Minimization

K-Map Structure & PIs

Function Equivalence

Logic Circuit Analysis

Adv. Laws & Optimization

Set Theory

Sets, Representation of Sets and Hierarchy of numbers

Finite, Infinite, Countable, and Uncountable Sets

Null, Universal, Subsets, Proper Subsets

Power Set and its Cardinality

Set Operations – Union, Intersection, Set Difference, Symmetric Difference, and Complement

Relations

Cartesian Product, Relation, Inverse & Complement

Reflexive Irreflexive Relation – Count, and Properties

Symmetric Anti-Symmetric Asymmetric Relation and Properties

Transitive Relation – Definition, Count, and Properties

Equivalence Relation, Equivalence Classes, Partitions of a Set

Partial Order Relation – Properties, Partially Ordered Set (Poset), and Total Order Relation

Hasse Diagram, Greatest Element, Least Element, Upper Bound, Lower Bound

Lattice – Definition, Formation, and Examples of Join and Meet Operations

Bounded, Unbounded, Distributive, Complemented Lattices and Boolean Algebr

Functions

Definition of a Function – Domain, Co-domain, Range, and Count of Possible Functions

Composition of Functions – Definition, Properties, and Examples

One-to-One (Injective) Function – Definition, Count, and Properties

Onto (Surjective) Function – Definition, Count, and Properties

Bijective Function – Definition, Count, and Properties

Inverse of a Function – Definition, Existence Conditions, and Examples

Graph Theory

Introduction to Graphs – Definitions, Terminology (Loops, Parallel Edges, Adjacent Vertices)

Types of Graphs – Finite, Infinite, Null, Trivial, Complete

Bipartite, Cycle, Regular, and Complement of a Graph

Number of Graphs – Counting of Simple, Undirected, Unlabeled

Degree of Vertex – Isolated and Pendant Vertices, Handshaking Lemma, and Degree Sequence

Minimum and Maximum Degree – Relationships, Degree Constraints, and Havel-Hakimi Theorem

Graph Traversal – Walk, Path, Trail, Circuit, and Connected Graphs

Euler and Hamiltonian Graphs – Definitions, Conditions, and Examples

Planar Graphs – Kuratowski’s Theorems, Homorphism and examples

Euler Formula – Planar Graph Formula, Applications, and Derived Relations

Graph Coloring – Vertex Coloring, Edge Coloring, Chromatic Number, and Coloring Theorems

Trees – Definitions, Properties, Eccentricity, Diameter, Radius, and Center

Spanning Tree and Spanning Forest – Definition, Construction, and Applications

Graph Isomorphism – Definition, Detection, and Problem Solving

Graph Matching – Maximal, Maximum, Perfect Matching, and Related Concepts

Graph Covering – Line and Vertex Covering, Independent Set, and Minimal/Maximal Variants

Group Theory

Closure-Algebraic Structure, Associative-SemiGroup, Identity-Monoid

Inverse Property and Group

Commutative Property and Abelian Groups

Classification of Finite and Infinite Groups

Subgroup Definition, Examples, and Verification Techniques

Determining the Order of Elements within Groups

Propositional and Predicate Logic

Introduction to Propositions, Laws of Contradiction and Excluded Middle

Types of Propositions – Atomic and Compound

Logical Operators – Negation, Conjunction, and Disjunction

Implication and Bi-Conditional Operators in Logic

Types of Logical Cases – Tautology, Contradiction, Contingency, Satisfiability, and Validity

Introduction to First Order Predicate Logic

Quantifiers – Universal and Existential

Practice Problems on Quantifiers and Predicate Logic

Functional Completeness

Questions and Practice Problems on Propositions

Proposition Questions notesPdf

Negation of Quantifiers and Rule Applications

Gate 1992Drm Video

Module lessons

Lessons

MPPSC-Unit Test-Discrete Mathematical StructureTest

Previous-year questions

Lessons in this module

Digital Systems & Boolean Basics

Digital Fundamentals & Boolean Algebra

Logic Gates & Hardware

Evolution, NOT, OR & AND Gates

Universal Gates: NAND & NOR

Ex-OR, Ex-NOR Gate & Relation

Boolean Expression

SOP & POS Canonical Forms

Boolean Function Counts

Functional Completeness

Universal Realization

Boolean Minimization

K-Map Structure & PIs

Function Equivalence

Logic Circuit Analysis

Adv. Laws & Optimization

Set Theory

Sets, Representation of Sets and Hierarchy of numbers

Finite, Infinite, Countable, and Uncountable Sets

Null, Universal, Subsets, Proper Subsets

Power Set and its Cardinality

Set Operations – Union, Intersection, Set Difference, Symmetric Difference, and Complement

Relations

Cartesian Product, Relation, Inverse & Complement

Reflexive Irreflexive Relation – Count, and Properties

Symmetric Anti-Symmetric Asymmetric Relation and Properties

Transitive Relation – Definition, Count, and Properties

Equivalence Relation, Equivalence Classes, Partitions of a Set

Partial Order Relation – Properties, Partially Ordered Set (Poset), and Total Order Relation

Hasse Diagram, Greatest Element, Least Element, Upper Bound, Lower Bound

Lattice – Definition, Formation, and Examples of Join and Meet Operations

Bounded, Unbounded, Distributive, Complemented Lattices and Boolean Algebr

Functions

Definition of a Function – Domain, Co-domain, Range, and Count of Possible Functions

Composition of Functions – Definition, Properties, and Examples

One-to-One (Injective) Function – Definition, Count, and Properties

Onto (Surjective) Function – Definition, Count, and Properties

Bijective Function – Definition, Count, and Properties

Inverse of a Function – Definition, Existence Conditions, and Examples

Graph Theory

Introduction to Graphs – Definitions, Terminology (Loops, Parallel Edges, Adjacent Vertices)

Types of Graphs – Finite, Infinite, Null, Trivial, Complete

Bipartite, Cycle, Regular, and Complement of a Graph

Number of Graphs – Counting of Simple, Undirected, Unlabeled

Degree of Vertex – Isolated and Pendant Vertices, Handshaking Lemma, and Degree Sequence

Minimum and Maximum Degree – Relationships, Degree Constraints, and Havel-Hakimi Theorem

Graph Traversal – Walk, Path, Trail, Circuit, and Connected Graphs

Euler and Hamiltonian Graphs – Definitions, Conditions, and Examples

Planar Graphs – Kuratowski’s Theorems, Homorphism and examples

Euler Formula – Planar Graph Formula, Applications, and Derived Relations

Graph Coloring – Vertex Coloring, Edge Coloring, Chromatic Number, and Coloring Theorems

Trees – Definitions, Properties, Eccentricity, Diameter, Radius, and Center

Spanning Tree and Spanning Forest – Definition, Construction, and Applications

Graph Isomorphism – Definition, Detection, and Problem Solving

Graph Matching – Maximal, Maximum, Perfect Matching, and Related Concepts

Graph Covering – Line and Vertex Covering, Independent Set, and Minimal/Maximal Variants

Group Theory

Closure-Algebraic Structure, Associative-SemiGroup, Identity-Monoid

Inverse Property and Group

Commutative Property and Abelian Groups

Classification of Finite and Infinite Groups

Subgroup Definition, Examples, and Verification Techniques

Determining the Order of Elements within Groups

Propositional and Predicate Logic

Introduction to Propositions, Laws of Contradiction and Excluded Middle

Types of Propositions – Atomic and Compound

Logical Operators – Negation, Conjunction, and Disjunction

Implication and Bi-Conditional Operators in Logic

Types of Logical Cases – Tautology, Contradiction, Contingency, Satisfiability, and Validity

Introduction to First Order Predicate Logic

Quantifiers – Universal and Existential

Practice Problems on Quantifiers and Predicate Logic

Functional Completeness

Questions and Practice Problems on Propositions

Negation of Quantifiers and Rule Applications

Module lessons

Lessons

Previous-year questions

Explore the course