Comp 230: Logic and Computability, Fall 2014


Instructor: Dirk Schlimm

      Office hour: tba. (Leacock 916).

Teaching assistants:

Time and location of lectures:

Online course materials: MyCourses (Discussion board, assignments, handouts).

TisLoopy: The programming interface for Bloop and Floop programs.

Syllabus Schedule Assignments Links

The course begins Wednesday, September 3, 2014.

(c) Dirk Schlimm   08/21/2014