CS322 Fall 1999
Module 2 (Symbols and Semantics)
Assignment 2
Solutions
Due: 1:30pm, Monday 20 September 1999.
The aim of this assignment is to learn about semantics and how to
axiomatize a domain.
We will discuss this assignment in Monday's class. Please be prepared
to play your part in the discussion.
You are to hand in this assignment at the end of the lecture.
David Poole