Difference between revisions of "FA19:Prelim 2 guide"

From CS2800 wiki
(Created page with "Prelim 2 will cover all material covered in lecture and homework between 9/27 and 10/28. I will update this guide after Monday's lecture to reflect what we have covered and w...")
 
Line 10: Line 10:
 
Here is a brief summary of what we've covered; for an exhaustive list see the [[Main Page]]:
 
Here is a brief summary of what we've covered; for an exhaustive list see the [[Main Page]]:
  
 +
* [[Equivalence relation]]s
 +
** [[:Category:Relations|Relations]]: [[relation]], [[reflexive]], [[symmetric]], [[transitive]], [[equivalence relation]], [[equivalence class]], [[A/R]], [[well-defined functions from A/R]].
 
* [[Induction]]
 
* [[Induction]]
 
** Be able to do proofs by [[weak induction]], [[strong induction]], and [[structural induction]].
 
** Be able to do proofs by [[weak induction]], [[strong induction]], and [[structural induction]].

Revision as of 16:33, 22 October 2019

Prelim 2 will cover all material covered in lecture and homework between 9/27 and 10/28. I will update this guide after Monday's lecture to reflect what we have covered and what is in scope. Material covered on prelim 1 will not be directly tested, although you will still need to know how to write proofs and work with the basic mathematical objects necessary for those topics. Material that you have had homework problems on will be tested more heavily. The exam will be closed book, closed notes, and will be 90 minutes long.

Here are some sample questions from past prelims: File:Fa19-prelim2-sample.pdf (solutions coming soon: File:Fa19-prelim2-sample-sol.pdf).

Here is a brief summary of what we've covered; for an exhaustive list see the Main Page: