|
May 05, 2024
|
|
|
|
MATH 340 - Mathematical Logic Next Offered: 2016-2017 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
Add to Portfolio (opens a new window)
|
|