Courses of Study 2013-2014 
    
    Mar 28, 2024  
Courses of Study 2013-2014 [ARCHIVED CATALOG]

Add to Favorites (opens a new window)

CS 4860 - Applied Logic

(crosslisted)
(also MATH 4860 ) (MQR)
Spring. 4 credits.

Prerequisites: MATH 2210 -MATH 2220 , MATH 2230 -MATH 2240 , or MATH 1920  and MATH 2940 ; CS 2800  (or MATH 3320 , MATH 3360 , MATH 4320 , MATH 4340 , or MATH 4810 ); and some additional course in mathematics or theoretical computer science.

Staff.

Propositional and predicate logic, compactness and completeness by tableaux, natural deduction, and resolution. Equational logic. Herbrand Universes and unification. Rewrite rules and equational logic, Knuth-Bendix method, and the congruence-closure algorithm and lambda-calculus reduction strategies. Topics in Prolog, LISP, ML, or Nuprl. Applications to expert systems and program verification.



Add to Favorites (opens a new window)