Credit points:
</strong> 4.0
Grading Policy: </strong>
Grading Policy: </strong>
- Homework - 10% Takef
- Final exam - 90%
- There is no midterm this semester.
- The homework will be grouped into three subjects: set theory (approx. the first 5 assignments), proposional calculus (approx. the next 4 assignments), first-order-logic (approx. the last 3 assignments). When calculating the HW average, we omit the worst grade from each of the first two HW groups.
- Submission of homeworks is in pairs.
- Only students who have a passing grade for the homework may attend the final exam.
- Only students who passed the final exam will get the grade on the homework. This implies that only students who passed the final exam can pass the course.