Friday, January 14, 2005

First Lecture Today!

Apologies for the timetabling confusion yesterday. We meet regularly on Tuesdays and Fridays 10am room 5.01 Appleton Tower. Today I will review propositional and first-order logic, and demonstrate propsat, an online tool that uses a propositional representation to model and reason about first-order theories over finite domains. Comments on this blog are welcome from both students and kibbitzers on the www.

1 Comments:

Blogger Aksa_Mahjabeen said...

Great Observation

7:40 am  

Post a Comment

<< Home