54 lines
1.1 KiB
Markdown
54 lines
1.1 KiB
Markdown
### Hwk_03 score
|
|
|
|
Below are your scores for Hwk 03
|
|
|
|
If these scores are different from what you expect, please see the concerned TA to ensure the potential error is fixed.
|
|
|
|
Run on March 28, 12:53:16 PM.
|
|
|
|
+ _9_ / _10_ : Problem 1. Grader : _Lucas Meyers_
|
|
|
|
Comments : Need to define P(n,x) or use power explicitly (-1)
|
|
|
|
|
|
|
|
+ _7_ / _10_ : Problem 2. Grader : _William Muesing_
|
|
|
|
Comments : No principle of induction (-3)
|
|
|
|
|
|
|
|
+ _8_ / _10_ : Problem 3. Grader : _Chris Bradshaw_
|
|
|
|
Comments : No principle of induction -2
|
|
|
|
|
|
|
|
+ _10_ / _10_ : Problem 4. Grader : _Nick Krantz_
|
|
|
|
Comments :
|
|
|
|
|
|
|
|
+ _5_ / _10_ : Problem 5. Grader : _Kevin Stowe_
|
|
|
|
Comments : -1: Unclear substitution of (l1 @ l2) for (append l1 l2) - even with the note, it makes the proof difficult to comprehend -4: Incorrect inductive proof - need to prove inductive case, not prove that the inductive case is equal to the inductive hypothesis
|
|
|
|
|
|
|
|
+ _0_ / _10_ : Problem 6. Grader : _Sam Marquart_
|
|
|
|
Comments : No attempt
|
|
|
|
|
|
|
|
+ _0_ / _10_ : Problem 7. Grader : _Shannyn_
|
|
|
|
Comments : No attempt
|
|
|
|
|
|
|
|
+ Total: _39_ / _70_
|
|
|
|
|
|
|