Comp 230: Logic and Computability, Fall 2019 


Instructor: Dirk Schlimm, Office hours (beginning September 11): Wednesdays, 1:00–2:00pm, Leacock 916.

Teaching assistants:

  • Navin Kumar, Office hours (beginning September 10): Tuesdays, 11:00–13:00, Trottier 3110.

  • Clara Lacroce, Office hours (beginning September 12): Thursdays, 8:00–10:00am, McConnell 110.

  • Nico Rullmann, Office hours (beginning September 9): Mondays, 9:00–11:00am, Trottier 3110.

  • Pénélope de Turenne, Office hours (beginning September 16): Mondays, 2:00–4:00pm, Trottier 3110.

Time and location of lectures:

  • Tuesdays and Thursdays, 4:05–5:25pm (Sep 3 – Nov 28, 2019)

    Burnside Hall, Room 1B45 (from September 19; was Trottier 0100 before that.).

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   9/17/2019