80 211 - Logic and Mathematical Inquiry

Institution:

Carnegie Mellon University

Subject:

Description:

Since ancient times, those searching for truth have looked to mathematical arguments as a paradigm of rational inquiry. We study the structure of such arguments and their application. In the first half of the course, we develop the syntax and semantics of sentential and quantificational logic while in the second, we apply this logic to examine the axiomatic method in set theory and introduce formal models of computation. This course prepares students to take the 310-311 series on the fundamental (in)completeness and (un)decidability theorems of modern logic.

Credits:

9.00

Credit Hours:

Prerequisites:

Corequisites:

Exclusions:

Level:

Instructional Type:

Lecture

Notes:

Additional Information:

Historical Version(s):

Institution Website:

www.cmu.edu/

Phone Number:

(412) 268-2000

Regional Accreditation:

Middle States Association of Colleges and Schools

Calendar System:

Semester

The Course Profile information is provided and updated by third parties including the respective institutions. While the institutions are able to update their information at any time, the information is not independently validated, and no party associated with this website can accept responsibility for its accuracy.