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

Relevant Links

• Syllabus from an earlier offering (still fairly accurate)
• Official Printed Course Notes from lulu.com.
• Stuff from Lecture --- examples, mini-homework, etc.
• Laboratory Exercises: (see also information about due dates, and instructions for getting lab files.
  • 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 equation_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")
• Course Software
  • Python
  • Eclipse
  • Ubuntu Linux