MATH 4860
Last Updated
- Schedule of Classes - June 22, 2015 4:42PM EDT
- Course Catalog - June 11, 2015 6:21PM EDT
Classes
MATH 4860
Course Description
Course information provided by the Courses of Study 2014-2015.
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.
When Offered Spring.
Prerequisites/Corequisites 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.
Distribution Category (MQR)
Regular Academic Session. Combined with: CS 4860
-
Credits and Grading Basis
4 Credits Stdnt Opt(Student Option)
-
Class Number & Section Details
-
Meeting Pattern
- TR Malott Hall 203
Instructors
Nerode, A
Share
Or send this URL: