MAT431

Download as PDF

MAT431 MATH LOGIC | 3 - Credit Hours

MathematicsArts & Sciences

Subject Code

MAT

Course Number

431

Department(s)

Mathematics

Academic Level (Course Level)

Undergraduate

Course Title

MATHEMATICAL LOGIC

Course Description

Prerequisites: MAT 300 or PHI 307 with a grade of C or higher. Validity, deductibility, and completeness in propositional and predicate logics; first-order formal theories and informal theories in the context of set theory. Offered occasionally.

Credit Hours Min

3

Lecture Hours Min

3