ITCS: Course Materials

Location:

• Tue, 15-16: Lecture Room A2.04 - Alison House.  
• Thu, 15-16: Lecture Room A2.04 - Alison House.

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:

Document

lec1.pdf

Document

lec2.pdf

Document

lec3.pdf

Document

lec4.pdf

Document

lec5.pdf

Document

lec6.pdf

Document

lec7.pdf

Document

lec8.pdf

Document

lec9.pdf

Document

lec10.pdf

Document

lec11.pdf

Document

lec12.pdf

Document

lec13.pdf

Document

lec14.pdf

Document

lec15.pdf

Document

lec16.pdf

Document

lec17.pdf

Document

lec18.pdf

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. Submission via Gradescope.

• Coursework 1 (formative): Out 28.9., Due 30.10., Back 13.11.
• Coursework 2 (summative, 20% of course grade): Out 26.10. Due 27.11., Back 11.12.