Discrete Mathematics Structure
Objective, scope and outcome of the course
Definition of sets, countable and uncountable sets, Set operations, Partition of set, Cardinality (Inclusion-Exclusion & Addition Principles) Venn Diagrams, proofs of some general identities on sets.
Relation
Definition, types of relation, composition of relations, Pictorial representation of relation, Equivalence relation, Partial ordering relation, Job-Scheduling problem.
Function
Definition, type of functions, one to one, into and onto function, inverse function, composition of functions, recursively defined functions, pigeonhole principle. Theorem proving Techniques: Mathematical induction, Proof by contradiction. Composition of Functions. The Pigeonhole and Generalized Pigeonhole Principles.
Proposition, First order logic, Basic logical operation, truth tables, tautologies, Contradictions, Algebra of Proposition, logical implications, logical equivalence, predicates, Normal Forms, Universal and existential quantifiers. 2 way predicate logic.
Introduction to finite state machine Finite state machines as models of physical system equivalence machines, Finite state machines as language recognizers.
Introduction, ordered set, Hasse diagram of partially, ordered set, isomorphic ordered set, well ordered set, properties of Lattices, bounded and complemented lattices.
Combinatorics
Introduction, Permutation and combination, Binomial Theorem, Multimodal Coefficients Recurrence Relation and Generating Function: Introduction to Recurrence Relation and Recursive algorithms, linear recurrence relations with constant coefficients, Homogeneous solutions, Particular solutions, Total solutions, Generating functions, Solution by method of generating functions.
Definition, Properties, types: Semi Groups, Monoid, Groups, Abelian group, properties of groups, Subgroup, cyclic groups, Cosets, factor group, Permutation groups, Normal subgroup, Homomorphism and isomorphism of Groups, example and standard results, Rings and Fields: definition and standard results.
Introduction and basic terminology of graphs, Planer graphs, Multigraphs and weighted graphs, Isomorphic graphs, Paths, Cycles and connectivity, Shortest path in weighted graph, Introduction to Eulerian paths and circuits, Hamiltonian paths and circuits, Graph coloring, chromatic number, Isomorphism and Homomorphism of graphs, matching, vertex/edge covering.