T Naughton, CS NUIM
Back to SE120 home

Academic year 2003-2004

The following rules will be given to you during relevant tests.

[Test 1 - Program correctness ] [Solutions] (5 Mar 2004)

[Test 2 - Program correctness and ordered structures ] [Solutions ] (22 Apr 2004, 1pm)

[Test 3 - Ordered structures and languages ] [Solutions ] (22 Apr 2004, 5pm)

[Test 4 - Countable sets and binary relations ] [Solutions ] (7 May 2004)

Academic year 2002-2003

[Test 1 - Program correctness] [Solutions ] (5 Mar 2003)

[Test 2 - Ordered Structures] [Solutions ] (9 Apr 2003)