|
Dec 26, 2024
|
|
|
|
2020-2021 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.
|
|