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 5, 3 PM PST
LEC 1: 44/45 seats taken (Waitlist)
First passPriority passSecond pass3 days6 days9 days12 days15 days18 days21 days22 days25 days0204060

Section List

  • LEC 1

    Open (6 seats)

    MWF 10am-10:50am

    Mathematical Sciences 5118

    Review

Course

Instructor
Kyle Gannon
Previously taught
22S

Previous Grades

Grade distributions not available.