MATHEMATICAL FOUNDATION OF COMPUTER SCIENCE (MFCS) Important Units & Check List

[shanth]

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