Jun 06, 2023  
Undergraduate/Graduate Catalog 2019-2020 
Undergraduate/Graduate Catalog 2019-2020 [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.