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

Jul 10, 4 PM PDT
LEC 1: 27/40 seats taken (Open)
First passPriority passSecond pass2 days5 days8 days11 days14 days17 days20 days23 days26 days0204060

Section List

  • LEC 1

    Open (9 seats)

    MW 9:30am-10:45am

    Online - Recorded

    Review

Course

Instructor
Ian Boon
Previously taught
21F

Previous Grades

Grade distributions not available.