Introduction to Computer Science	CS105
Haverford College	Fall 2007
Dave Wonnacott	John Dougherty

Relevant Links

• Syllabus
• Laboratory Exercises: (see also various emails about due dates)
  • Lab 1: Problems, Algorithms, and Python Functions -- power, circle_overlap circle_rectangle_overlap, and optional segment_overlap.
  • Lab 2: Introduction to Reasoning Tools -- pre-/post-conditions for division; proof of quadratic_solver()
  • Lab 3: Testing for a Valid Solution
  • Lab 4: Enumerate and Test [HTML version]
  • Lab 5: Complexity Analysis
  • Lab 6: Changing Variable Values (Reducing Fractions via a GCD Algorithm; Mouse in a Maze)
  • Lab 7: Proofs, Iteration, and Recursion
  • Lab 8: Developing Loop-based Functions (Selection Sort)
  • Lab 9: Heat Flow Simulation (or, "You Can't Heat a Frying Pan with a Soldering Iron")
• Some Examples from Lecture
  • window overlap
  • exponentiation
• General Techniques for Proving Programs
• Course Software
  • Python
  • Eclipse
  • Ubuntu Linux