MTH401 #Zero Lecture: Discrete Mathematics
MTH401 #Zero Lecture: Discrete Mathematics
DISCRETE MATHEMATICS
#Zero Lecture
LTP and credit details
L–T–P:3–0-0
(3 Lectures, 0 Tutorial, 0 Practical)
Credit:- 4
Bloom’s Taxonomy
Course Outcomes
Through this course students should be able to
• understand several methods for proving or disproving particular logical
propositions.
• describe the recursive processes that can be used for solving counting
problems.
• test the equivalence and partial order relation properties in the provided
relation.
• illustrate the concept of different graphs and their properties.
• compute the solution of linear congruences using the Euclidean
algorithm.
Programme Outcomes
• PO1 Engineering knowledge::Apply the knowledge of mathematics, science, engineering
fundamentals, and an engineering specialization to the solution of complex engineering
problems.
• PO2 Problem analysis::Identify, formulate, research literature, and analyze complex
engineering problems reaching substantiated conclusions using first principles of mathematics,
natural sciences, and engineering sciences.
• PO3 Modern tool usage::Create, select, and apply appropriate techniques, resources, and
modern engineering and IT tools including prediction and modeling to complex engineering
activities with an understanding of the limitations.
• PSO 1::Demonstrate understanding of the principles and working of the hardware and software
aspects of computer systems by applying knowledge in the areas such as Algorithms, Software
Engineering, Networking & Security, Database Management Systems, Intelligent Systems,
Operating Systems and System Architecture.
Syllabus Distribution:
Unit-1
Logic and Proofs :
• Propositional logic
• Propositional equivalences
• Quantifiers
• Introduction to proof
• Direct proof
• Proof by contraposition
• Vacuous and trivial proof
• Proof strategy
• Proof by contradiction
• Proof of equivalence and counterexamples
• Mistakes in proof
Unit-2
Recurrence relations:
• Recurrence relation
• Modelling with recurrence relations
• Homogeneous linear recurrence relations with constant coefficients,
• Method of the inverse operator to solve the nonhomogeneous recurrence relation with
constant coefficient
• Generating functions
• Solution of recurrence relation using generating functions
Unit-3
Counting principles and relations
• Principle of inclusion-exclusion,
• Pigeonhole, generalized pigeonhole principle,
• Relations and their properties
• Combining relation and composition
• Representing relation using matrices and graph
• Equivalence relations, partial and total ordering relations,
• Lattice, Sub lattice, Hasse diagram, and its components
Unit-4
Graph Theory-I
• Graph terminologies
• Special types of graphs(complete, cycle, regular, wheel,
• Cube, bipartite and complete bipartite)
• Representing graphs
• Adjacency and incidence matrix,
• Graph isomorphism,
• Path and connectivity for undirected and digraphs
• Dijkstra’s algorithm for the shortest path problem
Unit-5
Graph Theory-II
• Planner graphs
• Euler formula,
• Coloring of a graph and chromatic number
• Tree graph and its properties
• Rooted tree
• Spanning and minimum spanning tree
• Decision tree, infix, prefix, and postfix notation
Unit-6
Number theory and its application in cryptography