This preview shows page 1. Sign up to view the full content.
Unformatted text preview: T F b Subtraction is associative. T F c On R dene x / y := x y + y . Then binop / is associative. T F d On the set of all people, give an example of a binrel which is transitive and reexive , but is not symmetric . Bonus : Dene a binop n by b n c := 7h [7 + b ] / [7 + c ] i Prove or give a CEX: Binop n is associative. End of ExamA A1: 45pts A2: 45pts A3: 50pts A4: 50pts A5: 70pts Bonus: 10pts Total: 260pts Print name ............................................. Ord: Honor Code: I have neither requested nor received help on this exam other than from my professor (or his colleague) . Signature: ............................................
View Full
Document
 Summer '08
 Staff

Click to edit the document details