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


Instructor: Dirk Schlimm

      Office hours: Mondays, 12:00–1:00pm, Leacock 916.

Teaching assistants:

  • Giulia Alberini, Office hours: Thursdays, 8:30-10:00, McConnell 235

  • Mohammed Alshamrani, Office hours: Mondays, 10:00-12:00 and 1:00-3:00pm, ENGTR 3110

  • Antoine Soulé, Office hours: Wednesdays, 9:00-11:00 and Fridays, 9:00-11:00, ENGTR 3110

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/19/2015