MATH 160: Mathmatical Logic I
University of California, Santa Cruz
Propositional and predicate calculus. Resolution, completeness, compactness, and Lowenheim-Skolem theorem. Recursive functions, Godel incompleteness theorem. Undecidable theories. Hilbert's 10th problem.
Average GPA: 2.67
Grade distribution records: 25 students across 1 terms.
Grade distribution
| 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.
Instructors
- Frank Bauerle 25 students, Average GPA 2.67