MAT 515 - Mathematical Logic

Institution:

University of North Carolina at Greensboro

Subject:

Description:

Pr. grade of at least C in 253 or 311 or permission of instructor Formal languages, recursion, compactness, and effectiveness. First-order languages, truth, and models. Soundness and completeness theorems. Models of theories. (Odd Spring)

Credits:

3.00

Credit Hours:

Prerequisites:

Corequisites:

Exclusions:

Level:

Instructional Type:

Multiple

Notes:

Additional Information:

Historical Version(s):

Institution Website:

www.uncg.edu

Phone Number:

(336) 334-5000

Regional Accreditation:

Southern 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.