CMPSC 209: LOGIC IN CS
University of California, Santa Barbara
Propositional logic, first order logic, completeness, compactness, incompleteness, undecidability; selected topics from finite model theory, theorem proving, logic programming, program verification, databases, computational complexity.
Average GPA: 3.63
Grade distribution records: 78 students across 7 terms.
Grade distribution
| Grade | Students | Percent |
|---|---|---|
| A+ | 14 | 17.9% |
| A | 23 | 29.5% |
| A- | 17 | 21.8% |
| B+ | 10 | 12.8% |
| B | 9 | 11.5% |
| B- | 3 | 3.8% |
| C+ | 1 | 1.3% |
| C | 1 | 1.3% |
Based on 78 student grade records across 7 terms and 1 professor.
Instructors
- Su J 78 students, Average GPA 3.63