Apr 21, 2024  
Undergraduate/Graduate Catalog 2015-2016 
Undergraduate/Graduate Catalog 2015-2016 [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.