UT Dallas 2015 Graduate Catalog

CS6374 - Computational Logic

CS 6374 Computational Logic (3 semester credit 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