sampleMt2 - Name: CIS 755 Mid-term #2 Sample. (Closed book,...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
CIS 755 Mid-term #2 Sample. (Closed book, closed notes, closed neighbor.) (A single “cheat sheet” is allowed; if you use one, write your name on it, and turn it in with your exam.) There are 5 questions, each worth 20 points. The questions are not all equally difficult but none should take you more than about 7 or 8 minutes to answer. Keep your answers brief and to the point. Rambling, irrelevant discussions may be penalized. If a question (or part thereof) does not make sense, ask me for clarification; if it still does not make sense, say so, and explain why it does not make sense. 1. Consider the following results: a. { true } x := 0 { false } b. { false } x := 0 { true } c. { false } x := 0 { false } a. { true } x := 0 { true } For each one, state whether it is valid or not, along with a brief explanation. For each one, state whether it is derivable or not using the axioms and rules we have seen, and if it derivable briefly indicate how you would derive it. 1
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 4

sampleMt2 - Name: CIS 755 Mid-term #2 Sample. (Closed book,...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online