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.
0 Comments:
Post a Comment
<< Home