|
Apr 25, 2024
|
|
|
|
MATH 340 - Mathematical Logic Next Offered: 2013-2014 Semester Offered: Next Offered 2013-2014 Credits (Range): 3 hours Attribute: 3NS, QP-F 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
Add to Portfolio (opens a new window)
|
|