CS322 Fall 1999
Module 2 (Symbols and Semantics)
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.