CS 4860

CS 4860

Course information provided by the Courses of Study 2015-2016.

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).

When Offered Fall.

Prerequisites/Corequisites Prerequisite: MATH 2210-MATH 2220, MATH 2230-MATH 2240, or MATH 1920 and MATH 2940; CS 2800 (or MATH 3320, MATH 3360, MATH 4320, or MATH 4340); and some additional course in mathematics or theoretical computer science.
Forbidden Overlaps Forbidden Overlap: Students may not receive credit for both MATH 4810 and MATH 4860.

Distribution Category (MQR)

View Enrollment Information

Syllabi: none
  •   Regular Academic Session.  Combined with: MATH 4860

  • 4 Credits Stdnt Opt

  • 16901 CS 4860   LEC 001