Introduction to Metalogic

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.

Review Summary

Clarity
N/A
Organization
N/A
Time
N/A
Overall
N/A

Enrollment Progress

Mar 11, 3 PM PST
LEC 1: 41/40 seats taken (Waitlist)
First passPriority passSecond pass3 days6 days9 days12 days15 days16 days19 days22 days25 days0204060

Section List

  • LEC 1

    Closed

    TR 9:30am-10:45am

    Renee and David Kaplan Hall 169

    Review

Course

Instructor
Sean Walsh
Previously taught
23S 21W 19W 18W

Previous Grades

A+AA-B+BB-C+CC-D+DD-F0%10%20%