Discrete Mathematical Structures(MA602)
Course Name:
Discrete Mathematical Structures
Programme:
MCA
Semester:
First
Category:
Programme Core (PC)
Credits (L-T-P):
(3-0-0) 3
Content:
Propositional & Predicate Calculus: Introduction to Propositional Logic, Well-formed formulas - Tautology, Contingency, Contradiction, Normal forms, Predicates and Quantifiers, Types of Proof techniques, Validity of logical arguments.
Graph Theory:Introduction and basic properties, Subgraphs, Isomorphism, Eulerian and Hamiltonian graphs, Trees, Planar Graphs, Graph Coloring.
Lattice Theory: Equivalence relations, Partial order relations, Linear order relations, Hasse diagrams, Lattices, Special classes of Lattices. Recurrence relations and generating functions.
Group Theory: Groups and subgroups, Cyclic groups, Cosets, Lagrange’s Theorem.
Department:
Mathematical and Computational Sciences
