Mathematical Logic
Lecture, three hours; discussion, one hour. Requisite: course 110A or 131A or Philosophy 135. Introduction to mathematical logic, aiming primarily at completeness and incompleteness theorems of Gödel. Propositional and predicate logic; syntax and semantics; formal deduction; completeness, compactness, and Lowenheim/Skolem theorems. Formal number theory: nonstandard models; Gödel incompleteness theorem. P/NP or letter grading.
Review Summary
- Clarity
-
N/A
- Organization
-
N/A
- Time
-
N/A
- Overall
-
N/A
Enrollment Progress
Mar 6, 3 PM PST
LEC 1: 40/40 seats taken (Full)
Section List
LEC 1
Open (29 seats)MWF 9am-9:50am
Online - Recorded