CS6374 - Computational Logic

CS 6374 Computational Logic (3 semester hours) Methods and algorithms for the solution of logic problems. Topics include problem formulation in first order logic and extensions, theorem proving algorithms, polynomially solvable cases, logic programming, and applications. Prerequisites: CS 5343, and knowledge of C. (3-0) Y