# Past Exam for CS 340 - DISCRETE STRUCTURES FOR ENGR at Portland State (PSU)

## Exam Information

 Material Type: Final Professor: Staff Class: CS 340 - DISCRETE STRUCTURES FOR ENGR Subject: Computer Science University: Portland State University Term: -- Keywords: Following WffsFollowing EquivalenceConjunctiveFormal ProofDefinitionsTerminationContradictionFollowing ProcedureContrapositiveFollowing Problems      ## Sample Document Text

CS 340 SAMPLE XAM QUESTIONS P. Let S be the statement, "If x + y is prime, then x is prime or y is prime." a. The contrapositive of S is, b. The converse of S is, P. Use complete sentences to write a proof of the following statement about integers. Use only the definition of "divides" along with algebra. Prove that if x | y and x | z, then x | (2y + 3z). P. Prove the following statement about the integers. If x is odd and y is odd, then x + y is even. P. Evaluate each expression. a. power({?, a, b}) = b. {a, b, c, d} - ({a, b, c} ? {b, c, d, e}) = c. {a, b, c} - ({a, b, c, d} - {c, d, e}) = d. {a, b, c} ? {a, b, c} = e. (Let N be the universe). {1, 2, 3}' - {3, 4, 5}'= f. {a, b} � {1, 2, 3} = g. head(?a, b, c, d?) = h. tail(?a, b, c, d, e?) = i. cons(b, ?c, b, a?) = j. floor(x) ? ceiling(x) if and only if k. gcd(236, 12) = l. (-12) mod 7 = m. log 2 (512) = P. For each integer n let A n = {x | x ? N and x ? n}. ...

## Related Documents Definite Truth Values Notes Assumptions Notes Propositional Logic Notes Contrapositive Notes Contrapositive Notes Contrapositive Notes Contrapositive Notes Private Information Notes  Proposition Notes      