MATH 340 - Mathematical Logic

Next Offered: 2019-2020

Semester Offered: First Semester
Full Course
Credits: 4 Credits
Attribute: 4NS, QFR

An introduction to set theory and computability. This seminar will examine both the foundations of mathematics and the limitations of formal reasoning. Student projects, consisting of a presentation and an expository paper, will be based on independent reading.

Instructor: E. Wilmer

Prerequisites & Notes: Prerequisite: One 300-level Mathematics course

Print this Page