Learning objectives
By the end of this week you can:
- 1 Show fluency with truth tables, equivalences and translations.
- 2 Negate and translate quantified statements correctly.
- 3 Write short, correct proofs using the methods from week 7.
Topics
- Scope: weeks 1–7
- Closed book; one handwritten A4 sheet of your own notes may be allowed (confirmed in class)
- Past midterms are discussed in the week 7 lab
Go deeper
- Hacettepe BBM 205 slides · practice problems
- Stanford CS103 Mathematical Foundations of Computing · practice problem sets with solutions
Tags:midtermexamreview