Module Tests
Overview
- 4 tests, one per module
- 5 points each (20 total)
- 90 minutes duration
- Open book (notes, textbooks allowed)
- Individual work only
Test Schedule
| Test | Topic | Coverage | Week |
|---|---|---|---|
| 1 | Set Theory | Weeks 1-2 | 3 |
| 2 | Binary Relations | Weeks 3-7 | 7 |
| 3 | Boolean Algebra | Weeks 8-10 | 10 |
| 4 | Formal Logic | Weeks 11-15 | 15 |
What Tests Assess
- Computational skills
- Problem-solving ability
- Concept application
- Working under time pressure
- Accuracy
Focus: Less theoretical than TMs, more practical than homework
Format
- 5-8 problems with multiple parts
- Mix: computation, short proofs, examples
- Clear point values
- ~10-15 minutes per problem