MTH 302 - Topics in Mathematical Logic

1 semester, 3 Credits

An introduction to aspects of logic appropriate to both the mathematics and computer science student. Topics in propositional and predicate logic, formal theories, computability, and meta mathematics will be discussed. Prerequisite: Calculus or permission of instructor.