Exam One Study Guide

Time: Tuesday, February 13th from 6pm-8pm
Location: CSI 437 (Treehouse)

• Exam 1 Practice Problems and partial solutions

• Exam 1  Definitions Sheet

Structure

• 5-6 Problems

• Shorter than HWs

• The simplest problems are similar to the reading assessments.

• The hardest problems are the easier starred problems on the HWs.

• You will be given all equivalence laws and inference rules.

Topics

• Homeworks 2 through 5

• Propositional logic

• Equivalence laws and (three-column) equivalence proofs

• First-order predicate logic and domains

• Inference rules and formal (two-column) derivations

• No puzzles

Problem Types:

• Translate English into mathematical objects: i.e. translating specifications into logic, arguments into derivations.

• Translating mathematical objects into English 

• Define a mathematical object: i.e. defining a domain to make a statement true or false)

  • Figures are acceptable definitions of objects or domains

• Informally draw conclusions from premises ("what can you conclude")

• Equivalence proofs (HW3 and HW4, with equivalence laws)

• Formal derivations (HW5, with inference rules)

• Find the flaw (in a equivalence proof or derivation)

• Synthesis: apply knowledge in a new way