ITCS: Course Materials

Location change: Due to higher student numbers, the lectures now take place in 

• Tue, 15-16: G.01 - Classroom 1 - High School Yards Teaching Centre (57 High School Yards, Edinburgh, EH1 1LZ).  
• Thu, 15-16: Seminar Room 5 - Chrystal MacMillan Building (15a George Square).

This course is based upon the following textbooks.

• Michael Sipser. Introduction to the Theory of Computation, PWS Publishing (International Thomson Publishing).
• Benjamin C. Pierce. Types and Programming Languages, MIT Press.

Lecture slides:

Tue 14. Oct.: Discussion of exercises and questions.

Weekly exercises. (Solutions are posted here 1 week later. There are no tutorials, but some questions are discussed in class.

Coursework:

Courseworks can be accessed/submitted via the LEARN page, Section Assessment, Link to Gradescope.

• Coursework 1: Out 29.9., Due Fri 24.10. at 12:00, Back 14.11.
• Coursework 2: Out 27.10. Due Fri 21.11. at 12:00, Back 12.12.