Here is the syllabus.
The lectures take place on Mondays at 09:00-11:00 in room G34, Mechanical Engineering.
The exercise classes take place on Friday at 14:00-15:00 in Lecture Theatre 1, Sport and Exercise Sciences.
The demonstrators are Asiri Rathnayake, Umberto Rivieccio and Chuangjie Xu.
My office hours are 10:30-11:30 on Tuesdays and 09:30-10:30 on Fridays. You can also email me to arrange another time.
Marks for continuous assessment may be found here.
Handout 1, Finite state machines and regular expressions, 7 January [pdf], solutions to exercises [pdf]
Handout 2, Regular languages, 14 January [pdf], solutions to exercises [pdf]
Handout 3, Context free grammars and pushdown automata, 21 January [pdf]. Due in Wednesday 30 January. Solutions to exercises [pdf]
Handout 4, The Halting Problem, 29 January [pdf]. Homework is due on Wednesday 6 February. Solutions to exercises [pdf]
Handout 5, More on undecidability: reducibility proofs, 4 February [pdf]. Homework is due on Wednesday 13 February. Solutions to exercises [pdf]
Handout 6, Turing machines, 11 February [pdf]. Homework (and also exercise 3 of the classwork) is due on Thursday 21 February at 10 a.m.. Solutions to exercises [pdf]
Handout 7, Church's thesis, 18 February [pdf]. Homework is due on Thursday 28 February at 10 a.m.. Solutions to exercises [pdf]
Handout 8, Complexity, 25 February [pdf]. Homework is due on Wednesday 6 March at 2 p.m. Solutions to exercises [pdf]
Handout 9, NP-completeness, 4 March [pdf]. Homework is due on Wednesday 13 March at 2 p.m. Solutions to exercises [pdf]
Handout 10, The Lambda Calculus, 11 March [pdf]. Homework is due on Friday 22 March at 6 p.m. Solutions to exercises [pdf]
Classwork for 22 March is here. Solutions to exercises [pdf]
List of topics and solutions to some old exam questions, 22 April, [pdf]
Paul B Levy