Discrete Mathmatics-Lecture - 1
Discrete Mathmatics-Lecture - 1
2CS305
Objective of the Course
relation, partial ordering relation, equivalence relation, image of a set, sum and
product of functions, bijective functions, inverse and composite function. Basic
counting techniques: inclusion and exclusion, pigeon-hole principle.
Unit II 6
Proof Techniques: proof methods and strategies, forward proof, proof by
contradiction, principles of mathematical induction, strong induction, the well-
ordering principle, recursive definition, proof by contraposition, proof of necessity
and sufficiency.
Unit III 6
Propositional Logic: syntax, semantics, validity and satisfiability, basic connectives
and truth tables. logical equivalence: the laws of logic, logical implication, rules of
inference, the use of quantifiers.
Unit IV 5
Algebraic Structures and Morphism: algebraic structures with one binary operation,
semi groups, monoids, groups, congruence relation and quotient structures, free and
cyclic monoids and groups, permutation groups.
Unit V 6
Graphs and Trees: graphs and their properties, isomorphism, Eulerian and
Hamiltonian walks, graph coloring, perfect graph, rooted trees, trees and sorting,
weighted trees and prefix codes, shortest path, spanning trees.
Unit VI 4
Recurrence Relations and Recursive Algorithms: Recurrence relations, linear
recurrence relations with constant coefficients, use of recurrence relations for
analysis of algorithms
Reference Books
Evaluation Scheme
CE LP SEE
CE
Component
0.30 0.30 0.40