Mathematics 370 - Mathematical Logic

Institution:

St Olaf College

Subject:

Description:

Mathematical logic uses mathematical methods to analyze reasoning and to examine what mathematics can and cannot do. It also provides the underlying paradigm on which intelligent computer systems are based. Initially, students study the language and rules of inference of predicate logic and investigate the relationships between provability and truth and between a mathematical theory and its models. Later, they explore applications of logic to computer science. Prerequisite: Mathematics 244 or 252. Offered periodically.

Credits:

3.00

Credit Hours:

Prerequisites:

Corequisites:

Exclusions:

Level:

Instructional Type:

Lecture

Notes:

Additional Information:

Historical Version(s):

Institution Website:

www.stolaf.edu

Phone Number:

(507) 786-2222

Regional Accreditation:

North Central Association of Colleges and Schools

Calendar System:

Four-one-four plan

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.