Difference between revisions of "FA19:Prelim 2 guide"

From CS2800 wiki
Line 1: Line 1:
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
+
Prelim 2 will cover all material covered in lecture and homework between 9/27 and 10/25.  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
 
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
 
the basic mathematical objects necessary for those topics.  Material that you
Line 13: Line 13:
 
** [[:Category:Relations|Relations]]: [[relation]], [[reflexive]], [[symmetric]], [[transitive]], [[equivalence relation]], [[equivalence class]], [[A/R]], [[well-defined functions from A/R]].
 
** [[: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]] (structural induction will be covered on 10/23).
** Understand [[inductively defined set]]s and [[inductively defined function]]s, including [[BNF]] notation
+
** Understand [[inductively defined set]]s and [[inductively defined function]]s, including [[BNF]] notation (this will be covered on 10/23)
 
** Be able to apply the [[algorithm]]s contained in inductive proofs
 
** Be able to apply the [[algorithm]]s contained in inductive proofs
 
* [[Number theory]]
 
* [[Number theory]]

Revision as of 16:35, 22 October 2019

Prelim 2 will cover all material covered in lecture and homework between 9/27 and 10/25. 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: