MATH 450 - Logic for Computer Science

Institution:

University of Maryland-Global Campus

Subject:

Description:

(Also listed as CMSC 450.) Prerequisites: CMIS 160 (or CMSC 150) and MATH 141 (or MATH 132). Elementary development of propositional logic (including the resolution method) and first-order logic (including Hebrand's unsatisfiability theorem). Discussion covers the concepts of truth and interpretation; validity, provability, and soundness; completeness and incompleteness; and decidability and semidecidability. Students may receive credit for only one of the following courses: CMSC 450, MATH 444, MATH 445, or MATH 450.

Credits:

3.00

Credit Hours:

Prerequisites:

Corequisites:

Exclusions:

Level:

Instructional Type:

Lecture

Notes:

Additional Information:

Historical Version(s):

Institution Website:

www.umgc.edu

Phone Number:

(301) 985-7000

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.