University Homepage School Homepage School Contacts School Search

Introduction to Theoretical Computer Science 2023/4

This course runs in semester 1.

Lectures are at 1pm on Tuesdays and Thursdays, at Appleton Tower 2.12 and 2.04 respectively.

• Piazza forum for the class
• Link to the class mailing list archive (requires authentication, will only work after your enrolment has got from MyEd to our systems, which takes a day or two)
• DRPS entry, including syllabus, timing and assessment specifications.
• Lecture schedule including slides.
• Tutorials start in week 3. The allocations and times of groups are maintained on Learn. Tutorial sheets will be issued each Thursday for the following week, and are linked to in the lecture schedule.
• Textbooks: No books are essential, but we will use the following books as sources of readings to reinforce the slides: Michael Sipser Introduction to the Theory of Computation (PWS Publishing - International Thomson Publishing) for the computability and complexity parts of the course, and Benjamin C. Pierce Types and Programming Languages (MIT Press) for the lambda-calculus part. (There isn't much lambda-calculus this year, so don't buy this book unless you are independently interested.)
• Coursework. Coursework accounts for 20% of the assessment: the first course work is formative (not marked), and the second is summative (marked). The deadlines are 12:00 on the Fridays of weeks 5 and 9, respectively. They will be issued in weeks 2 and 6. For coursework 2, which is assessed, the standard late submission policy applies - this is Rule 1 on the Late coursework & extension requests page.
• Feedback: Summative feedback is given on the assessed coursework as detailed above. Formative feedback/forward is given by: question and answer during lectures; tutorials; on the first coursework.