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: Wednesdays, 4:30–6:30pm, McConnell 106.

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

  • Julien Ouellette-Michaud, Office hours: (until September 19) Mondays, 1:00–3:00pm, Leacock 934.
          (from September 26, onwards) 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 in progress.

(c) Dirk Schlimm   9/22/2017