CS322 Fall 1999
Module 2 (Symbols and Semantics)
Assignment 2

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.

  • Question 1
  • Question 2
  • Question 3

  • David Poole