Sergio AntoyTeaching Assistant
office: FAB 120-02
e-mail: antoy@cs.pdx.edu (checked daily)
phone: 503-725-3009 (checked weekly)
homepage: http://www.cs.pdx.edu/~antoy/
office hours: TR 10:15 AM and by appointment
class time and location: see the CS schedule
Will LandeckerRequirements
e-mail: landeckw@cecs.pdx.edu
office hours, in the Fishbowl (area outside the CS office):Monday 3pm - 4pm,
Wednesday 10am - 11am,
Friday 10am - 11 noon.
Textbook: Discrete Structures, Logic, and Computability, Second Edition, by James L. Hein. Jones and Bartlett, 2002.MaterialHomework: Exercise solutions will not be collected, but we will spend a portion of each class discussing problems. The lab experiments will be collected on the due date (see the schedule).
Account: Be sure to get your UNIX account up-to-date in the CS Department. (Stop by the CS Tutors Lab at FAB 88-03.) Once you have your account, add maple and sicstus3.7 to your environment by choosing the appropriate items from the menu displayed when you type the addpkg command.
Schedule of reading, assignment, etc. It will be extended and updated during the course. Check it regularly.Grading
Exam-like questions (the actual exam may differ)
Video stream (if available, check with Video Services)
Resources for the students by Jim Hein.
Maple 10 User Manual.
There are dozens of Prolog tutorials freely accessible on-line. Consult those you find suitable for you.
20% Lab
50% Two midterms
30% Final Exam
Contact: antoy@cs.pdx.edu
Last update Mon Oct 13 10:27:01 PDT 2008