Syllabus
Syllabus
CO3: Experiment and solve critical examples of algebraic structures and graph theory.
Detailed Syllabus
Module 1 (Contact hours: 11)
Introduction and applications of Discrete mathematical structures, Proposition, Logical operators, Converse, Inverse, Contrapositive, Compound propositions,
Precedence of logical operators, Tautology, Contradiction, Logical Equivalence, Derived implications, Well-formed formula, Tautological Implication, Logical
equivalence laws, Rules of inference, Predicates and Quantifiers, Nested quantifiers, English to logic conversion, Direct proof, Proof by contradiction, Proof by
induction, Russell’s paradox.
TEXTBOOKS/LEARNING RESOURCES:
a) Kenneth and H. Rosen, Discrete Mathematics, and Its Applications (8th ed.), McGraw Hill, 2021. ISBN 978-9390727353.
b) Bisht, R.K. and Dhami, H.S, Discrete Mathematics (1st ed.), Oxford University Press, 2015. ISBN 978-0199452798.