Unformatted text preview: T F b “Subtraction is associative.” T F c On R deﬁne 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 reﬂexive , but is not symmetric . Bonus : Deﬁne 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
 Addition, ........., Negative and nonnegative numbers, Zagreb, Highways in Croatia

Click to edit the document details