T Naughton, CS NUIM
Back to SE307 home

[Lab sheet 1 - Turing machine programming] (26 Sep 2002)
[Lab sheet 2 - TM programming (language acceptance)] (03 Oct 2002)
[Lab sheet 3 - TM programming (language acceptance)] (10 Oct 2002)
[Lab sheet 4 - Machines simulating machines (finite automata)] (17 Oct 2002)
[Test 1] (24 Oct 2002)
[Lab sheet 5 - Machines simulating machines (finite automata)] (7 Nov 2002)
[Lab sheet 6 - Machines simulating machines (finite automata)] (14 Nov 2002)
[Lab sheet 7 - Pushdown automata] (21 Nov 2002)
[Lab sheet 8 - The waiting game] (28 Nov 2002)
[Test 2] [Sample solutions] (29 Nov 2002)
[Lab sheet 9 - Simple solutions to intractable problems] (05 Dec 2002)
[Test 3] [Sample solutions] (12 Dec 2002)
[Lab sheet 10 - Checking solutions to intractable problems] (19 Dec 2002)
[Lab sheet B - Bonus] (19 Dec 2002)

Labs from 2001-2002:
[Lab sheet 1 - `while' programming] (1 Oct 2001)
[Lab sheet 2 - Turing machine programming] (8 Oct 2001)
[Class test 1] (10 Oct 2001)
[Lab sheet 3 - Turing machine programming] (15 Oct 2001)
[Lab sheet 4 - Mechanical reasoning about machines] (18 Oct 2001)
[Class test 2] (23 Oct 2001)
[Lab sheet 5 - The waiting game] (22 Oct 2001)
[Lab exam 1] [Solutions to Sect. B] (5 Nov 2001)
[Lab sheet 6 - Simple solutions to intractable problems] (12 Nov 2001)
[Lab exam 1 (repeat)] [Solutions to Sect. B] (19 Nov 2001)

Labs from 2000-2001:
[Lab sheet 1 - `while' programming] (2 Oct 2000)
[Lab sheet 2 - Turing machine programming] (9 Oct 2000)
[Lab sheet 3 - Turing machine programming] (16 Oct 2000)
[Lab sheet 4 - Mechanical reasoning about machines] (3 Nov 2000)
[Lab sheet 5 - Mechanical reasoning about machines] (10 Nov 2000)
[Class test - Turing machine programming & Computability] (14 Nov 2000)
[Lab sheet 6 - The waiting game] (17 Nov 2000)
[Lab test - Computability] [Solutions to Sect. B] (1 Dec 2000)