Examlet 8 Rubrics

Induction Proof (15 points)

Correct (2) Buggy (1) Missing or very wrong (0)
Base case(s) Checks correct values and shows some work. Either checks incorrect values or does not show work. Major errors in checks or missing.
Correct (2) Buggy (1) Missing or very wrong (0)
Inductive hypothesis Strong inductive claim with correct bounds and claim explicitly stated. Bounds not strong or don't match with base cases or claim not explicitly stated. No upper bound. More than one error or missing.
Correct (2) Buggy (1) Missing or very wrong (0)
Style and clarity Easy to follow, with appropriate use of punctuation, notation, latex, and whitespace. Algebra, variable declarations, and use of definitions is correct or nearly so. Slightly hard to follow. Small number of minor mistakes e.g. formatting bugs, algebra mistakes, too few steps or key steps not explained. Hard to follow or looks unprofessional. Serious or multiple technical issues.
Correct (3) Buggy (2) Missing or wrong (0)
Goal and division of problem Larger problem split correctly into smaller problems and the goal value matches the inductive hypothesis. Either goal off by one or small issue with the split but not both. Large issue with goal or subproblems.
Correct (3) Buggy (2) Missing or very wrong (0)
Use of Inductive hypothesis Inductive hypothesis used correctly and called out when used. Inductive hypothesis used with incorrect values or not called out. Inductive hypothesis never used, used in only some of the necessary places, or used incorrectly.
Correct (3) Buggy (2) Missing or very wrong (0)
Details and flow All details and flow of problem correct including algebra, types, and reaches final conclusion. Proof starts by defining the induction variable. Small errors in details and flow of problem correct including algebra, types but reaches final conclusion. Major errors in flow or structure.

First half of Unrolling (6 points)

Correct (3) Buggy (1) Missing or very wrong (0)
Final answer Formula has the correct structure. Might have small mistakes such as misadded numbers. A structural error e.g. wrong constant multiplier on recursive call, wrong input to recursive call, extra work term doesn't increase/decrease appropriately. Multiple errors.
Correct (3) Buggy (2) Missing or very wrong (0)
Details, work, style Work is easy to read and looks professional. Final result is properly simplified. Minor arithmetic mistake. Minor issues with latex. Obvious simplifications (e.g. adding similar terms) have not been done. Initial substitution steps aren't clearly shown. Very hard to read (e.g. insufficient line breaks). Multiple mistakes.

Second half of Unrolling (6 points)

Correct (2) Buggy (1) Missing or very wrong (0)
Finding value of $k$ at base case Correct formula for $k$. Single small mistake e.g. used wrong value for base case input. Multiple or serious errors.
Correct (2) Buggy (1) Missing or very wrong (0)
Substituting formula for $k$ into the main equation. All substitutions done correctly. Not substituted everywhere needed or small mistake in substitution. Multiple or serious errors.
Correct (2) Buggy (1) Missing or very wrong (0)
Simplifying and readability Log expressions simplified. Similar terms combined. Minor errors such as incorrectly adding numbers, buggy use of latex. Important simplifications not done, e.g. log expressions not simplified or similar terms not combined. Answer is unnecessarily hard to read. Multiple problems.