Courses of Study 2018-2019 
    
    Aug 26, 2019  
Courses of Study 2018-2019 [ARCHIVED CATALOG]

[Add to Favorites]

CS 4860 - Applied Logic

(crosslisted) MATH 4860  
(MQR-AS)      
Spring. 4 credits. Student option grading.

Forbidden Overlap: due to an overlap in content, students will receive credit for only one course in the following group: CS 4860, MATH 4810 , MATH 4860 , PHIL 4310 .
Prerequisite: MATH 2210 -MATH 2220 , MATH 2230 -MATH 2240 , or MATH 1920  and MATH 2940 ; CS 2800  (or MATH 3320 , MATH 3340 (formerly 4320) , MATH 3360 , or MATH 4340 ); and some additional course in mathematics or theoretical computer science.

R. Constable.

Propositional and predicate logic, compactness and completeness using tableaux, natural deduction, and/or resolution. Other topics chosen from the following: Equational logic. Herbrand Universes and unification. Rewrite rules and equational logic, Knuth-Bendix method, and the congruence-closure algorithm and lambda-calculus reduction strategies. Modal logics, intuitionistic logic, Prolog, LISP, ML, or Nuprl. Applications to expert systems and program verification. Noncomputability (Turing) and incompleteness (Gödel).



[Add to Favorites]