MATH 414
MATH 414 - Mathematical Logic
Spring 2023
Title | Rubric | Section | CRN | Type | Hours | Times | Days | Location | Instructor |
---|---|---|---|---|---|---|---|---|---|
Mathematical Logic | MATH414 | C13 | 37954 | LCD | 3 | 1100 - 1150 | M W F | 143 Altgeld Hall | Marius Junge |
Mathematical Logic | MATH414 | C14 | 37956 | LCD | 4 | 1100 - 1150 | M W F | 143 Altgeld Hall | Marius Junge |
See full schedule from Course Explorer
Official Description
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. Course Information: 3 or 4 undergraduate hours. 3 or 4 graduate hours. 4 hours of credit requires approval of the instructor and department with completion of additional work of substance. Prerequisite: MATH 347 or MATH 348 or equivalent experience.