Apr 25, 2024  
Course Catalog 2012-2013 
    
Course Catalog 2012-2013 [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

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)