Today : Wed, Apr 24, 2024

  • No lecture

Announcements

  • Nov 16 : End Semester Exam: 16 Nov, 2017 1 - 4pm , Venue CS 34 and CS 36 . Seating arrangements will be announced to the group
  • Oct 25 : Quiz - 2 will be on Oct 25 8-8:50. Syllabus: Lectures 18-41.
  • Sep 6 : QUIZ - 1 will be on Sep 06, 8-8:50. Syllabus: Lectures 1 -17
  • Older announcements.
Back to Courses

References


  • [RosenTextBook] Discrete Mathematics and its Applications Kenneth H. Rosen 7th Edition -Tata McGraw Hill Publishers - 2007
  • [HR] Michael Huth and Mark Ryan, Logic in Computer Science - Modelling and Reasoning about Systems, Cambridge University Press, 2004.
  • [Enderton] A Mathematical Introduction to Logic - Herbert B Enderton, Pearson Publishers.
  • [Benjamin-Quinn] Proofs that Really Count: The Art of Combinatorial Proof by Arthur T. Benjamin and Jennifer J. Quinn
  • [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.