Introduction to Theoretical Computer Science 2021/2
This course runs in semester 2.
Lectures are at 12:10 on Mondays and Thursdays in room G.03 of
the Bayes Centre.
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)
entry, including syllabus, timing and assessment
- Lecture schedule
- 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.
List of examinable material
- Sample examination paper.
- 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 16: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.
|Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail:
Please contact our webadmin with
any comments or corrections. Logging and Cookies
Unless explicitly stated otherwise, all material is copyright ©
The University of Edinburgh