diff --git a/teaching/ModelsComputation.md b/teaching/ModelsComputation.md index 9499ec152f0ce965796109fb74866d62fb455a80..a4512a5c7ae096e20423a4faccae51671140db9c 100644 --- a/teaching/ModelsComputation.md +++ b/teaching/ModelsComputation.md @@ -15,17 +15,17 @@ The course focuses on teaching students the fundamental skills involved in deali This course provides a whirlwind tour of some of the key concepts in theoretical computer science. In particular, we will study formal descriptions (models) of computational behaviour. -#### General Information for 2018 autumn term +#### General Information for 2019 autumn term -Time: Wednesdays: 9am - 11am, Room 308. +Time: Wednesdays: 9am - 11am, Room 311. Thursdays: 12 - 1pm, Room 311. Coursework Schedule: -Assesed coursework 1: published Wed 31st Oct, 9 AM / deadline for submission Fri 9th Nov, 4 PM. +Assesed coursework 1: published Weds 30th Oct, 9 AM / deadline for submission Fri 8th Nov, 4 PM. -Assesed coursework 2: published Wed 28th Nov, 9 AM / deadline for submission Tue 11th Dec, 4 PM. +Assesed coursework 2: published Wed 27th Nov, 9 AM / deadline for submission Tue 10th Dec, 4 PM. Tutorials: Tutorial exercises will be posted online (here and on CATE) before the tutorial each week, printed copies will also be available. Tutorial solutions will be published online before the next week's tutorial. @@ -61,4 +61,4 @@ Other Recommendations: [Logicomix](http://www.logicomix.com/en/): the graphic n A real [Turing machine.](http://robotzeitgeist.com/2010/03/model-turing-machine.html) -[LEGO Turing Machine]. (https://www.youtube.com/watch?v=cYw2ewoO6c4) +[LEGO Turing Machine](https://www.youtube.com/watch?v=cYw2ewoO6c4)