Your final average is a weighted combination of your averages on examlets, reading quizzes, mini-homeworks, discussion problems, and long-form homeworks. Specifically
When we translate these averages into final letter grades, a score of 90 will be at least an A-, 80 at least a B-, 70 at least a C-, 60 at least a D-. Because raw numerical scores tend to run low in theory classes, and we can often see why they are running low when we do grading (e.g. a specific problem was too difficult), we may revise these cutoffs to be more generous. For example, a score of 78 is might turn into either a C+ or a B-. In past terms, at least half of the grades have been A's and B's.
We expect A students to have shown consistently strong performance and mature mathematical style. A B student should be solidly prepared to take later theory classes.
A grade of C- or above indicates that a student's grasp of a material makes them adequately prepared for later CS courses, especially CS 225 and CS 374. In particularly, to get a C-, you must demonstrate that you can write straightforward inductive proofs.
A grade of D-/D/D+ indicates that the student has been doing most of the work but is not adequately prepared for later CS classes. If you seem to be headed for a D-/D/D+ grade, seek help from the course staff.
Most F's are given to students who have stopped attending, have not been consistently doing homework, or the like. This is typically due to circumstances beyond the scope of this class.
We reserve the right to make adjustments to individual final grades to ensure that grades are appropriate in unusual circumstances. Unusual circumstances include such things as performance that gets dramatically better or worse over the course of the term, sickness affecting an exam, lost homeworks, disabilities that affect the fairness of the standard formulas, etc. Adjustments are typically made directly to the final letter grade rather than to the numerical final average. They almost always involve increasing a grade by one step, e.g. changing a C+ to a B-.