Comp 230: Logic and Computability, Fall 2012

Home

Instructor: Dirk Schlimm
Office hour: Wednesdays, 4:00–5:00 pm (Leacock 916).
Teaching assistant: Giulia Alberini
Office hours: Thursdays, 10:00–12:00 (McConnell 235).
Time and location of lectures:

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

Online course materials: MyCourses (Discussion board, assignments, handouts).
TisLoopy: The programming interface for Bloop and Floop programs.

Syllabus Schedule Assignments Links

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