Please Reload Every Time You Read This Page!

CPSC 415: Special Topics in Computer Science: Logic and Computation,
Fall 1998

Dr. Chuck C. Liang
Visiting Assistant Professor of Computer Science

Office: MCEC 343, 300 Summit Street, Hartford, CT 06106-3100
Office Phone: (860 297) 5395

Course Syllabus

Online Resources:

Sample SML code. Updated!
An implementation of Martelli-Montanari style unification in SML.

SML Homework
My Solution to the SML Homework

Theorem Prover Assignment. Due Date: REAL SOON.

SML basic utilies <- you might find these useful.
My interactive theorem prover.

Halting Problem in Scheme for pure lambda terms


The homework and part 2 of that programming assignment are both due Wednesday, 12/16 at noon. But note that ABSOLUTELY NO FURTHER EXTENSIONS WILL BE GIVEN. I need time to grade everything and submit all grades before the end of the week.