Comp 230: Logic and Computability, Fall 2011

Home

Instructor: Dirk Schlimm
      Office hour: Wednesdays, 4:30–5:30 pm (Leacock 916).
Teaching assistant: Giulia Alberini
      Office hours: Mondays, 2:00–4:00 pm (McConnell 235)
Teaching assistant: Pierre-Luc Bacon
      Office hours: Fridays, 11:00–13:00 pm (Trottier 3110)
Time and location of lectures:

Tuesdays and Thursdays, 4:05–5:25pm (Sep 1 – Dec 1, 2011)
Arts Building, Room 150.

Online course materials: Web CT (Discussion board, assignments, handouts).

Syllabus Schedule Assignments Links

What's new?
The course is over. Thanks to all who participated!