MTH (0144) 355 - Symbolic Logic

Credits: 3

Learn the syntax, semantics, and techniques of proof and refutation for propositional and first-order logic, with applications to arithmetic, set theory, etc. Advanced topics may include compactness, completeness, interpolation, and incompleteness; unification and resolution; recursive function theory; finite model theory; and lambda calculus or combinatory logic.

When Offered: Fall

Prerequisite 1: MTH 301
Free Note: Pre-requisites met or Permission of Instructor Grade of C- or better in MTH 301.