CSE 205: Logic In Comp Sci
University of California, Santa Cruz
The applications and uses of formal systems to computer science. Covers the syntax and semantics of propositional logic and first-order logic, normal forms, soundness and completeness theorems, Herbrand's theorem, unification and resolution, foundations of logic programming, automated theorem proving. Other topics may include deductive databases, database query languages, nonmonotonic reasoning. (Formerly Computer Science 217.)
Average GPA: 3.53
Grade distribution records: 14 students across 1 terms.
Grade distribution
| Grade | Students | Percent |
|---|---|---|
| A+ | 1 | 7.1% |
| A | 4 | 28.6% |
| A- | 1 | 7.1% |
| B+ | 2 | 14.3% |
| B | 4 | 28.6% |
| S | 2 | 14.3% |
Based on 14 student grade records across 1 term and 1 professor.
Instructors
- Phokion Kolaitis 14 students, Average GPA 3.52