Nov 27, 2022  
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.