radiac.net

diary - entry

A Warm Welcome To Viking Direct!

31st October 2002 at 14:53
Bought 3 chairs from Viking Direct for me, Elfie and Jason. Have made mine, and it's a lot nicer than the other crappy wood thing I had. It's also



very blue.

I think it's probably fairly sad that this has been the best thing that's happened to me this week...

Have finished the first bit of coursework - argh. First four-line formula I've ever written out... But we had the best lecturer ever... for part of it, we had to convert sentences into a first order language, then into prenex normal form, then into skolem form, then into clausal form. Anyway, one of the sentences was 'George must be eliminated unless Alice only saw one kangaroo'. I would write my answer out, but I think it's wrong, and everyone at my uni who reads this would laugh..

Comments

    There are currently no comments for this entry.

Add a comment

Name:(required)
E-mail:(will not be made public)
Website:
Comment:
Colour: Your colour of the day is:


Please enter it below:

Thank you for proving you are a human, not a spammer!
 

Links