|
Jun 01, 2025
|
|
|
|
2021-2022 Undergraduate Catalog [ARCHIVED CATALOG]
|
MATH 4321 - Predicate LogicCredit Hours: 3 Lecture: 3 Lab: 0
An introduction to predicate logic; elements of formal logic systems; set theory and propositional calculus, completeness theorems and the nature of proofs.
|
|