Mathematical Logic
via Foundational Algorithms

44342 PSU CS 410 (undergraduate) and
44343 PSU CS 510 (graduate)

Course Description and Grading

Course Schedule

Drop Box

Resources

Haskel programming resource page.

Class meets: Winter Quarter 2011.
Tuesday / Thursday 14:00-15:50, Fourth Avenue Building (FAB), room 150.

Instructors:

• James Hook, office: FAB 120-05, phone 503-725-5540
  hook@cs.pdx.edu
  

  Office hours: TBA

• Tim Sheard, office: FAB 120-04, phone 503-725-2410
  

  Office hours: TBA