CPSC 313 Introduction to Computability (Winter 1999)

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

L01 Instructor: Richard Cleve, MS 628, 220-3535, cleve@cpsc.ucalgary.ca
Office hours: Wednesdays, 2:00-4:00pm, or by appointment (which can be made in person or by email).

L02 Instructor: Jalal Kawash, MS 267, 220-7681, kawash@cpsc.ucalgary.ca
Office hours: Mondays and Wednesdays, 2:00-3:00pm, or by appointment (which can be made in person or by email).

Teaching Assistants:

  • David Wilson (B06, B07, B08), MS 625B, 220-7683, wilsond@cpsc.ucalgary.ca
  • Dana Harrington (B01, B02, B05), MS 625B, 220-7683, danaha@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.