CSE 676, Fall 2001
HW #1: THE LANGUAGE OF FIRST-ORDER LOGIC
Do Martins, p. 69: 8-12
Please be sure to show the syntax and semantics of any notation that you use.
DUE: AT THE START OF LECTURE: Friday, September 14
Copyright © 2001 by
William J. Rapaport
(
rapaport@cse.buffalo.edu
)
file: 676/F01/hw1.07sp01.html