Introduction to Theoretical Computer Science 2017/8
This course runs in semester 2.
Lectures are at 12:10 on Mondays and Thursdays in room AT2.12 (Appleton Tower).
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 here. 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.
- Coursework. Coursework accounts for 30% of the
assessment, split into two exercises.
The deadlines are 16:00 on the Fridays of weeks 5 and 9 (now 12),
respectively. They will be issued in weeks 2 and 6.
Feedback: Summative feedback is given on the assessed coursework
as detailed above. Formative feedback/forward is given by: question and answer
during lectures; tutorials.
|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