Amitabh Trehan


 - Spring:   Data Structures and Algorithms

 - Fall:       Theory of Computation

   Introductory (Esp. Maths background) Lectures here:

     Lecture 1: Introduction (pdf)

     Lecture 2:Sets and Paradoxes (pdf)

     Lectures 3 and 4: Functions, Relations and Numberts (pdf)

     Lectures 5 and 6:  Mathematical Logic (pdf)

     Lectures 7 and 8:  Writing Proofs (pdf, powerpoint)

     Lectures 9 and 10: Graph Theory (pdf)