Choose: Units I, II, III, IV, VII and VIII (1,2,3,4,7 and 8)
Unit I - Mathematical Logic
Check List after study

  • Well formed Formulas
  • Truth Tables
  • Tautology
  • Normal Forms (PDNF,PCNF)



Unit II – Predicates
Check List after study

  • Basic Concepts
  • Proof of Contradiction
  • Rules of Inference
  • Automatic Theorem Proving



Unit III - Set Theory
Check List after study

  • Posets
  • Hasse Diagrams & Lattice
  • Recursive function
  • Pigeon Hole Principle
Unit IV - Algebraic structures
Check List after study

  • Groups and Semigroups
  • Monoids
  • Homomorphism
  • Isomorphism

Unit VII - Graph Theory
Check List after study

  • DFS and BFS
  • Spanning Trees
  • Planar Graphs



Unit VIII - Graph Theory and Applications
Check List after study

  • Euler Circuits
  • Hamiltonian Graphs
  • Chromatic Numbers