CS2LAP: News
15/12/00
14/12/00
-
In the tutorial today we have agreed that there's going to be
another revision class in January, namely on Thursday the 4th
at 10am in room 1B27.
12/12/00
-
In the lecture today, notes covering syntax and semantics of
first-order logic have been handed out. These are not available
on the web; come to 542 if you need a copy.
07/12/00
-
Coursework 5
is out and due on Friday the 15/12/00 at 4pm.
This coursework is compulsory for students currently
registered as failing their coursework.
-
Coursework 4 has been marked and the
results are available
on-line.
05/12/00
-
The deadline for coursework 4 has been yesterday. A submission
record for the Prolog questions is available from the
coursework page.
-
Sample solutions for
coursework 4 are now available.
-
The full theorem prover is now available
here. You might find it useful
for your exam revision when working on exercises about
goal-directed deduction.
-
The sixth and final lab sessions
will take place next Tuesday, 5-6pm and Thursday 2-3pm, respectively,
in room 24D.
23/11/00
-
Coursework 4
is out and due on Monday the 04/12/00.
-
The fifth lab sessions
will take place next week, on Tuesday, 5-6pm and
Thursday 3-4pm, respectively, in room 24D.
-
Please prepare next Tuesday's lecture by having a look
at these notes, which
have been handed out today.
21/11/00
-
Coursework 3 has been marked and the
results are available
on-line. Details regarding your Prolog marks have been emailed
to you.
16/11/00
06/11/00
-
Coursework 3
came out last Thursday and is due on Wednesday the 15/11/00.
-
Coursework 2 has been marked and the
results are available
on-line. Details regarding your Prolog marks have been emailed
to you today.
-
Sample solutions
for the third lab session are now available.
-
The fourth lab sessions
will take place after the reading week, on Tuesday, 5-6pm and
Thursday 3-4pm, respectively, in room 24D.
26/10/00
16/10/00
-
Coursework 1 has been marked and the
results are available
on-line. Collect your marked paper from the pigeon holes and
compare your own answers with the sample solutions.
12/10/00
10/10/00
28/09/00
-
Coursework 1
is out and due on Monday the 09/10/00.
-
The Prolog lecture notes (including most of the Prolog slides)
are now printed. If you haven't got one yet pick up your copy
from room 542 during office hours (Thursdays, 2-4pm).
-
The first lab sessions
will take place next Tuesday, 5-6pm and Thursday 2-3pm, respectively,
in room 24D.
last modified on
Monday, 16-Oct-2017 11:58:56 CEST by
Ulle Endriss