• 03/28/2007
  
      Handout for the March 27 lecture: FormalizingPlatoTR2.pdf
  
   
• 03/19/2007
  
      Take-home test: TEST1
      Practice Kit: PracticeKit1
   
• 02/16/2007
  
      Lecture Slides: part1(pdf), part2(pdf)
   
• 02/08/2007
  
      Lecture Slides: pdf