Computer Science 217
Logic in Computer Science
CMPS 217 40880
Students are expected to know the material of CMPS 201 (Algorithms)
and CMPS 203 (Programming Languages), OR be prepared to catch up on it
Undergraduate versions of these courses should be sufficient
preparation, if you remember the material.
No permission codes will be issued until after a few classes.
Attend class. Attendance will be taken in the first several classes.
This class will use the above mailing list (actually a Google group)
for a discussion group and announcements.
There are several issues to be aware of about Gmail and Google groups. More details later.