Discrete Mathematics


Module- I

  • Propositional logic
  •  Propositional Equivalence
  •  Predicates and Quantifiers
  •  Nested Quantifiers
  •  Rules of Inference
  •  Proof methods and Strategies
  •  Sequences and Summations
  •  Mathematical Induction
  •  Recursive definition and structural induction
  •  Program Correction
  • Recurrence relation
  •  Solution to recurrence relation
  •  Generating functions
  •  Inclusion and exclusion
  •  Application of Inclusion and Exclusion Principle
  •  Relation and their properties
  •  Closure of relations
  •  Equivalence relations
  •  Partial orderings

Module-II

  • Introduction to graph theory
  •  Graph terminology
  •  Representation of graphs
  •  Isomorphism
  •  Connectivity
  •  Euler and Hamiltonian paths
  •  Shortest path problems
  •  Planar graph
  •  Graph coloring
  •  Introduction to trees
  •  Application of trees
  •  Tree Traversal
  •  Minimum Spanning tree

Module-III

  • Semi groups
  •  Monoids
  •  Groups
  •  Subgrorups
  •  Cosets
  •  Lagrange theorem
  •  Permuation groups
  •  Group codes
  •  isomorphism
  •  Homomorphisms
  •  Normal subgroups
  •  Rings
  •  Integral Domain and Fields
  • Algebraic systems
  •  Lattices
  •  Distributive and Complemented Lattices
  •  Boolean Lattices and Boolean Algrebra
  •  Boolean Functions and Boolean Expressions

Comments

Popular posts from this blog

Today Walkin 14th-Sept

Spring Elasticsearch Operations

Hibernate Search - Elasticsearch with JSON manipulation