MATH 320: Mathematical Logic
| Course Details | |
|---|---|
| Credit Hours: | 3 |
| Prerequisites: | MATH 313 |
| Description: This course in modern mathematical logic begins with a study of propositional logic and leads to an examination of first-order predicate logic including quantifiers, models, syntax, semantics, and the completeness and compactness theorems. Additional topics include Goedel's incompleteness theorems. Connections with abstract algebra and other areas of mathematics are explored. | |
