The code for propositional logic developed in class, finally
Here: prop.hs.
Posted:
Fri Jan 27 20:44:25 EST 2012
Office Hours
For Jim Royer: Tuesdays and Thursdays 11am–noon
(and by appointment)
in SciTech 4-185.
For Yiou Xiao: Tuesdays and Thursdays 1:30pm–3:30pm
in SciTech 3-210.
Posted:
DATE
Note on submitting assignments via Blackboard,
Update
I think I have set up Blackboard to accept electronic
submissions. (Blackboard and I are NOT friends.)
In the Blackboard site for this class (CIS 300), look
under Assignments and then under Homework 1.
If it doesn't work, let me know.
Posted:
Mon Jan 23 11:52:22 EST 2012
Caveat lector
These pages are currently under construction.
Expect lots of wrong or missing info, bad links, etc.
Posted:
Sun Jan 1 11:29:03 EST 2012