CS2LAP: News

15/12/00

• Coursework 5 has been marked. The results and the final pass/fail-classification for CS2LAP coursework may be found on the results page.
• Sample solutions for coursework 5 are now available.
• So are the sample solutions for the sixth lab session.

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

• The deadline for coursework 3 has been yesterday. A submission record for the Prolog questions is available from the coursework page.
• Sample solutions for coursework 3 are now available.
• So are the sample solutions for the fourth lab session.

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

• The deadline for coursework 2 has been yesterday. A submission record for the Prolog questions is available from the coursework page.
• Sample solutions for coursework 2 are now available.
• So are the sample solutions for the second lab session.
• The third lab sessions will take place next Tuesday, 5-6pm and Thursday 2-3pm, respectively, in room 24D.

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

• Coursework 2 is out and due on Wednesday the 25/10/00.

10/10/00

• Sample solutions for coursework 1 are now available.
• So are the sample solutions for the first lab session.
• The second lab session will take place next Tuesday, 5-6pm and Thursday 2-3pm, respectively, in room 24D.

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.