References


Text Books & References

  • [Rosen] Discrete Mathematics and its Applications Kenneth H. Rosen 7th Edition -Tata McGraw Hill Publishers - 2007
  • [HMU] Introduction to Automata Theory, Languages and Computation - Hopcroft, Motwani, and Ullman - Pearson Publishers
  • [Enderton] A Mathematical Introduction to Logic - Herbert B Enderton, Pearson Publishers.
  • [Cameron] Combinatorics: Topics, Techniques, Algorithms by Peter J. Cameron, Cambridge University Press, 1994 (reprinted 1996).
  • [GKP] Concrete Mathematics Ronald Graham, Donald Knuth, and Oren Patashnik, 2nd Edition - Pearson Education Publishers - 1996.
  • [HR] Michael Huth and Mark Ryan, Logic in Computer Science - Modelling and Reasoning about Systems, Cambridge University Press, 2004.
  • [Sch] Uwe Schoening, Logic for Computer Scientists, Birkhaeser, 1989.