PHILOS 135 - Introduction to Metalogic
Lecture: Lec 1
Class ID: 312540200
Class Website: https://ccle.ucla.edu/course/view/19W-PHILOS135-1
Waitlist: Class Full (30), Over Enrolled By 1
0 of 5 Taken
Dodd Hall Room 154
Final Exam Information
March 18, 2019
Check back on 03/04/2019 (Monday of 9th week) for final exam location
Lecture, four hours; discussion, one hour. Enforced requisite: course 31. Strongly recommended requisite: course 132 (or Mathematics 33A or 33B). Metatheory sentential logic and first-order logic. Introduction to formal language, formal deductive systems, and models. Compactness and completeness theorems that concern complexity of notion of logical consequences. P/NP or letter grading.
General Education (GE)
This class does not satisfy any GE requirements.
This class does not satisfy the undergraduate Writing II requirement.
This class does not satisfy any College/School diversity requirement.
Materials Use Fee