Wed Dec 2 2009
The final homework is up. You can work in groups of 1-3. This is
a challenging, but fun project. You are going to implement a
popular video game, and you'll prove theorems about it too.
Tuesday Nov 24 2009
The stacks exercise that we started yesterday is here. Instructions on
how to complete the exercise are included in the file. When you
complete it, send an email to Ian (the TA) and myself which
includes your solution (a lisp file) as an attachment. You are
not required to do this exercise, but I strongly recommend that
you do it.
Thursday, Nov 12 2009
Homework 10 is up.
Tuesday, Nov 10 2009
The solutions for Homework 9 are now available.
Tuesday, Nov 3 2009
Homework 9 is up.
Tuesday, Nov 3 2009
The solutions for Homework 8 are now available.
Wednesday, Oct 28 2009
The lab for Friday is here.
Wednesday, Oct 28 2009
Homework 8 is up.
Wednesday, Oct 28 2009
Just a reminder that by popular demand Ian Johnson's office hours
have been changed to 9-11AM on Tuesdays. He looks forward to
seeing you there!
Thursday, Oct 22, 2009
Homework 7 is now available. Please read the instructions
carefully and note that you have to install the latest version of
ACL2s, which we updated just today!
Tuesday, Oct 20, 2009
Our review session is in 366 WVH starting at 5PM today. I have
also reserved 366 WVH starting at 5PM for the days before exams 4, 5,
and 6.
Monday Oct 19, 2009
The solutions for Homework 6 are now available.
Wednesday, Oct 14, 2009
Homework 6 is now available. Note that it is due by 11:59PM on
Sunday, Oct 18th.
Tuesday, Oct 13, 2009
Ian's office hours have changed. We now have office hours every
other Saturday.
Tuesday, Oct 13, 2009
Install the new version of ACL2s. You have to do this by
the end of Wednesday.
Monday, Oct 5, 2009
The solutions for Homework 4 are now available.
Monday, Sep 28,2009
Homework 5 is now available.
Monday, Sep 28,2009
Homework 4 is now available.
Monday, Sep 28,2009
Thanks to Tim McCormack we have a feed for the announcements
page:
RSS Feed.
People who don't use a feed reader already can use
Google's Reader
or any
feed-to-email service.
Sunday, Sep 27,2009
Lecture notes for Boolean Logic are now available.
Monday, Sep 21, 2009
Homework 3 is now available.
Monday, Sep 21, 2009
The solutions for homework 2 are now available.
Tuesday, Sep 15, 2009
Homework 2 is now available.
Monday, Sep 14, 2009
Homework 1 is now available.
Wed, Sep 9 2009
Make sure you are registered for a lab (CS 2801). Labs start this
Friday. Bring your laptop to Friday's lab if you want help
installing ACL2s.
Wed, Sep 9, 2009
Welcome to the Fall 2009 edition of CS 2800. If you want a copy of the optional course book, please order it from here.