Koofers

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 Wffs
  • Following Equivalence
  • Conjunctive
  • Formal Proof
  • Definitions
  • Termination
  • Contradiction
  • Following Procedure
  • Contrapositive
  • Following Problems
Login / Sign Up to View Document
Preview Page 1Preview Page 2Preview Page 3Preview Page 4Preview Page 5Preview Page 6

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
Answer Paper Exam
Proposition Notes
Conjunctive Addition Exam
Following Wffs Exam
Propositional Exam
Propositional Exam
Following Wffs Exam
Rationalism Notes
155, "/var/app/current/tmp/"