PHIL 151:
Metalogic (PHIL 251)
(Formerly 160A.) The syntax and semantics of sentential and first-order logic. Concepts of model theory. Gödel's completeness theorem and its consequences: the Löwenheim-Skolem theorem and the compactness theorem. Prerequisite: 150 or consent of instructor.
Terms: Win
| Units: 4
| UG Reqs: GER:DB-Math, WAY-FR
2018-2019 Winter
-
PHIL 151 |
4 units |
UG Reqs: GER:DB-Math, WAY-FR |
Class #
20641
|
Section 01 |
Grading: Letter or Credit/No Credit |
LEC |
Session: 2018-2019 Winter 1
| Students enrolled: 39
01/07/2019 - 03/15/2019 Tue, Thu 10:30 AM - 11:50 AM at 200-303 with Briggs, R. (PI); Bassett, R. (TA); Thompson, D. (TA)
Exam Date/Time: 2019-03-20 12:15pm - 3:15pm (Exam Schedule)
Instructors: Briggs, R. (PI); Bassett, R. (TA); Thompson, D. (TA)
Notes: Grad. students enroll in 251.
Additional Resources:
(Login to view additional resources)
-
PHIL 151 |
UG Reqs: GER:DB-Math, WAY-FR |
Class #
25164
|
Section 02 |
Grading: Letter or Credit/No Credit |
DIS |
Session: 2018-2019 Winter 1
| Students enrolled: 11
01/07/2019 - 03/15/2019 Mon 11:30 AM - 12:20 PM at 90-92Q with Thompson, D. (TA)
Instructors: Thompson, D. (TA)
-
PHIL 151 |
UG Reqs: GER:DB-Math, WAY-FR |
Class #
25206
|
Section 03 |
Grading: Letter or Credit/No Credit |
DIS |
Session: 2018-2019 Winter 1
| Students enrolled: 1
01/07/2019 - 03/15/2019 Fri 11:30 AM - 12:20 PM at 80-115 with Bassett, R. (TA)
Instructors: Bassett, R. (TA)
-
PHIL 151 |
UG Reqs: GER:DB-Math, WAY-FR |
Class #
28627
|
Section 04 |
Grading: Letter or Credit/No Credit |
DIS |
Session: 2018-2019 Winter 1
| Students enrolled: 1
01/07/2019 - 03/15/2019 -