MTH300 | |
4 | |
This is an introductory course in mathematical logic. The subject is of interest to students in both Mathematics and Computer Science. Topics covered include propositional logic, first order logic, consistency, satisfiability, soundness, completeness, and compactness. We will also discuss some basic set theory and axiomatic number theory (Peano's arithmetic). If time permits we will discuss the famous incompleteness theorems of Godel. | |
| |
Winter |
N/A |