Exam Structure
Written Component (16 points)
Duration: 120 minutes Format: Closed book Questions: 6-8 problems
Problem Types
| Type | Points | Count | Description |
|---|---|---|---|
| Definitions | 2-3 | 2 | State precisely |
| Theorems | 3-4 | 1-2 | State and prove/sketch |
| Computations | 2-3 | 2-3 | Calculate, simplify |
| Proofs | 4-5 | 1-2 | Construct argument |
Coverage Distribution
- Boolean Algebra: ~40%
- Formal Logic: ~40%
- Earlier topics: ~20%
Grading Criteria
- Correctness: Is answer right?
- Completeness: All steps shown?
- Clarity: Easy to follow?
- Rigor: Justified properly?
Oral Component (8 points)
Duration: 15-20 minutes Format: One-on-one with instructor
Process
- Draw random topic card
- Brief prep time (2-3 min)
- Explain concept (~5 min)
- Answer questions (~10 min)
- Grading discussion
Possible Topics
- Any major theorem
- Any key definition
- Proof techniques
- Connections between topics
- Applications
Evaluation
- Knowledge: Do you know the topic?
- Understanding: Can you explain clearly?
- Depth: Beyond surface level?
- Connections: See the big picture?
Practical Component (6 points)
Given: End of Week 15 Due: Before oral exam Format: Individual work
Typical Problems
- Implement Boolean minimization
- Build truth table solver
- Design logic circuit
- Solve graph problem
- Compute cardinalities
Requirements
- Working solution
- Clear documentation
- Explanation of approach
- Code (if applicable)
- Test cases
Evaluation
- Correctness: Does it work?
- Efficiency: Reasonable approach?
- Documentation: Clear explanation?
- Completeness: All parts addressed?