Comp 230: Logic and Computability, Fall 2015  (10th Anniversary Edition)


Instructor: Dirk Schlimm

      Office hours: tba

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 Links

The course begins Tuesday, September 8, 2015.

(c) Dirk Schlimm   8/30/2015