Comp 230: Logic and Computability, Fall 2013

Home

Instructor: Dirk Schlimm

      Office hour: Wednesdays, 4:00–5:00 pm (Leacock 916).

Teaching assistants:

Time and location of lectures:

  • Tuesdays and Thursdays, 1:05–2:25pm (Sep 3 – Dec 3, 2013)
  • Trottier Building, Room 1090.

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!

(c) Dirk Schlimm   12/05/13