Comp 230: Logic and Computability, Fall 2017 


Instructor: Dirk Schlimm

      Office hours: Wednesdays, 11:00–12:00, Leacock 916.

Teaching assistants:

  • Clara Lacroce, Office hours (changed Nov. 14): Fridays, 8:00–10:00am, McConnell 106.

  • David Gaber, Office hours: Fridays, 12:30–2:30pm, Leacock 934.

  • Julien Ouellette-Michaud, Office hours (changed Sep. 26): Tuesdays, 10:30–12:30pm, Leacock 934

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 is over. Thanks to all who participated!

(c) Dirk Schlimm   12/20/2017