CIS301 Announcements




announcements of deadlines and changes in schedules and assignments will be posted here....

April 13

There is no class the week of April 16; lectures restart on April 23.

March 21

Quiz 2 is scheduled for Wednesday, March 28, at classtime.

March 4

There is no class on March 5 and 7.

February 10

The first in-class quiz will be Friday, February 17. It will cover the material presented in lecture and studied in the first three exercise sets.

I have improved the checker tool to more precisely track proof steps and to print better validation feedback in verbose mode. You are welcome to download the new version from the CIS301 web page.

All you need to reinstall is the Checker folder, so I prepared a zipped file of it, which you can grab here: www.cis.ksu.edu/~schmidt/301s12/cis301/Checker.zip

December 28

There will be no class on Monday, January 23.