.

Mathematics MATH 314. Introduction to Mathematical Logic Introduction to the formalization of mathematics and the study of axiomatic systems; expressive power of logical formulas; detailed treatment of propositional logical and predicate logic; compactness theorem and Godel completeness theorem, with applications to specific mathematical theories; algorithmic aspects of logical formulas. Proofs are emphasized in this course, which can serve as an introduction to abstract mathematics and rigorous proof; some ability to do mathematical reasoning required. Prerequisite: MATH 247 or MATH 248 or equivalent experience. 3 hours, or ¾ or 1 unit. One unit credit requires approval of the instructor and completion of additional work of substance.