Propositional and predicate calculus. Resolution, completeness, compactness, and Lowenheim-Skolem theorem. Recursive functions, Godel incompleteness theorem. Undecidable theories. Hilbert's 10th problem.
1 term
Other grades
University of California, Santa Cruz
MATH 160 at UCSC: average GPA 2.67 across 25 students. Grade distribution by term. Propositional and predicate calculus. Resolution, completeness, compactness…
Average GPA: 2.67
Grade distribution records: 25 students across 1 terms.
| Grade | Students | Percent |
|---|---|---|
| A+ | 1 | 4.0% |
| A | 4 | 16.0% |
| A- | 2 | 8.0% |
| B+ | 1 | 4.0% |
| B | 2 | 8.0% |
| B- | 1 | 4.0% |
| C | 3 | 12.0% |
| F | 3 | 12.0% |
| P | 4 | 16.0% |
| NP | 2 | 8.0% |
| W | 2 | 8.0% |
Based on 25 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