Here is an abridged version of some of the examples we have covered in the tutorials.
January 16 (Formal Spec):
tutorial 1;
January 23 (Formal Spec + Scheme Intro):
tutorial 2;
January 23 (Scheme):
tutorial 3;
February 6 (Scheme):
tutorial 4;
February 13 (Scheme Debugging & Pgming Style):
tutorial 5;
February 28 (Variable Scope and Midterm Review):
tutorial 6
program for scope example;
March 5 (Discussion of Midterm Solutions):
midterm solutions
March 12 (Prolog):
tutorial 7
March 19 (Prolog):
tutorial 8,
Trace reviewed by Sebastian (BA1190), and its
proof tree.
March 26 (Prolog):
tutorial 9,
April 2 (Prolog): tutorial 10 reviewed Prolog's cut (!) with the "...Picnic Example..."
found towards the end of the class notes
here,
Back to the main page