CPSC 313 Introduction to Computability (Winter 2000)

Lecture times:
L02: Monday, Wednesday, Friday 4:00-4:50pm
L03: Monday, Wednesday, Friday 12:00-12:50pm

L02 Instructor: John Watrous, MS 636, 220-7259, jwatrous@cpsc.ucalgary.ca
Office hours: Wednesday 1:00-2:00, Thursday 11:00-12:00, or by appointment.

L03 Instructor: Jalal Kawash, MS 208, 220-5113, kawash@cpsc.ucalgary.ca
Office hours: Wednesdays, 2:00-4:00pm, or by appointment (which can be made in person or by email).

Teaching Assistants:
Dana Harrington (danaha@cpsc.ucalgary.ca)
Philip Cho (cho@cpsc.ucalgary.ca)
Christopher Marriott (marriott@cpsc.ucalgary.ca)

Calendar description: Abstract machines: finite automata, push down automata, and Turing machines. An introduction to formal languages; the hierarchy of languages (regular, context-free, and recursive) recognized by these machines; applications of these languages.