Detailed treatment of the semantics of first order logic and formal computability. Completeness, undecidability of first order logic and Lowenheim-Skolem results also proven. Nature and formal limits of computability and introduction to incompleteness also investigated. Students cannot receive credit for this course and course 219.
2 terms
Other grades
University of California, Santa Cruz
PHIL 119 at UCSC: average GPA 3.54 across 26 students. Grade distribution by term. Detailed treatment of the semantics of first order logic and formal…
Average GPA: 3.54
Grade distribution records: 26 students across 2 terms.
| Grade | Students | Percent |
|---|---|---|
| A+ | 4 | 15.4% |
| A | 6 | 23.1% |
| A- | 3 | 11.5% |
| B | 2 | 7.7% |
| B- | 3 | 11.5% |
| C | 1 | 3.8% |
| P | 4 | 15.4% |
| NP | 2 | 7.7% |
| W | 1 | 3.8% |
Based on 26 student grade records across 2 terms 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