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.)
1 term
Other grades
University of California, Santa Cruz
CSE 205 at UCSC: average GPA 3.53 across 14 students. Grade distribution by term. The applications and uses of formal systems to computer science. Covers the…
Average GPA: 3.53
Grade distribution records: 14 students across 1 terms.
| 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.
The course page is taking longer to load. This summary is still available.
We could not load the full course details. This summary is still available.
Still loading. This can take a moment on a slow connection.
Loading My Class Grades