# 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
Following Wffs Exam
Propositional Exam
Propositional Exam
Following Wffs Exam
Rationalism Notes