University of Cincinnati Logo

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

Homework Policy
  1. Up to eight homeworks may be assigned this quarter. It is uncertain whether a grader will be assigned to grade these homeworks. Nevertheless, the student will submit solutions to all of them. It is hoped that the student will be self-motivated and carefully complete all the assignments for his/her own benefit.

  2. If solutions are graded, the grading scale will be 0-10 for each homework.

  3. No solutions will be accepted after the last day of class (just before finals commence).

  4. Of course, students may discuss homework assignments with each other, may write solutions together, copy, or cheat in any way they can think of (except on the exams or any other graded component of the course). However, it is customary that any significant help from another student or book should be acknowledged in a comment when you ask me to review what you have.
Paul Erdos
Ladies on Campus
Oscar Robinson