Comp 230: Logic and Computability, Fall 2019

H

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!