| |
May 24, 2026
|
|
|
|
|
Undergraduate/Graduate Catalog 2021-2022 [ARCHIVED CATALOG] See drop-down menu above to access other catalogs.
|
MATH 445 - Logic Programming(3 credits)
Prerequisite: Junior or senior mathematics major or equivalent background; and consent of the department
The propositional and first order predicate logic from an axiomatic point of view will be studied. Algorithmic methods of theorem proving will be emphasized. Offered periodically.
|
|