University of Cincinnati Logo
 

20-CS-626 - Formal Methods
School of Computing Sciences and Informatics

Grading Policy
    Distribution of credit: Midterm exam - 30%; Homework - 30%; Final exam - 40%. Grades are assigned on an informal "curve". Homeworks may not raise your course grade more than one letter grade, and if you fail the final exam you fail the course.
ERC
MainStreet
Paul Erdos
NIT
Ladies on Campus
Oscar Robinson