Models of Computation (DIT310, TDA184), 2016/2017
  • Syllabus [Chalmers, GU]
  • Course PM
  • Examination
  • Old exams
  • Reading
  • Lectures
  • Tutorials
  • Assignments
  • Teachers
  • Timetable
  • Course evaluation

Old news

Nils Anders Danielsson

  • 2016-12-07: Announced the exercises for the seventh tutorial.

  • 2016-12-05: Added an internal implementation of coding—the expression code from the lecture notes—to the χ wrapper module (documentation). Feel free to play around with it.

  • 2016-12-01: Announced the sixth assignment.

  • 2016-12-01: A second student representative has been appointed.

  • 2016-11-30: Announced the exercises for the sixth tutorial.

  • 2016-11-25: Tweaked the formulation of the fifth assignment's last exercise to match the presentation in the lecture on Monday.

  • 2016-11-24: Announced the fifth assignment.

  • 2016-11-24: One of the student representatives has resigned. Volunteers are welcome.

  • 2016-11-23: Announced the exercises for the fifth tutorial.

  • 2016-11-16: Announced the fourth assignment and the exercises for the fourth tutorial. Note that the third assignment's wrapper module has been extended with a procedure for testing internal substitution.

  • 2016-11-14: Modified Section 2 of The language χ, as mentioned in the lecture today.

  • 2016-11-11: Modified The language χ again, and made a related change to the third assignment.

    The evaluation strategy has been switched from call-by-name to call-by-value. If you have already started on the third assignment, then you can continue using the old semantics, if you prefer that.

  • 2016-11-09: Announced the third assignment and the exercises for the third tutorial.

  • 2016-11-04: The student representatives have been announced.

  • 2016-11-01: Modified The language χ.