Department of Mathematics University of San Francisco


Mathematics 300-01
Introduction to Formal Methods
Spring 2007

MWF 11:35-12:40, HR 509


Note: The date for the third midterm has been changed from Friday, May 4 to Wednesday, May 2. The homework that was due on May 2 will be due on Monday, April 30.

Professor: Peter Pacheco
Office: Harney 540
Phone: 422-6630
Email: domain: math.usfca.edu, user: peter
Office Hours: MWF 1:30-2:30, and by appointment

Class mailing list: To sign up click here and type in your preferred email address. The mailing list will then send you an email asking you to confirm that you want to join the list. In order to join, you must reply. You can post messages by sending email to user math300 in domain math.usfca.edu

Course Syllabus

Homework Assignments

  1. Homework Assignment 1.
  2. Homework assignment 2.
  3. Homework Assignment 3
  4. Homework Assignment 4
  5. Homework Assignment 5: These are due on Wednesday, February 28. Here's a key.
  6. Homework Assignment 6:
  7. Homework Assignment 7:
  8. Homework Assignment 8:
  9. Homework Assignment 9:
  10. Homework Assignment 10:
  11. Homework Assignment 11
  12. Homework Assignment 12
  13. Homework Assignment 13
  14. Some recommended homework problems. Here's a key

Additional Information



Peter Pacheco 2007-05-11