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

Course

Instructor
Ian Boon
Previously taught
21F

Previous Grades

Grade distributions not available.