Logic and Logic Programming
Theoretical foundations of automated reasoning and logic programming. Topics covered include propositional logic, predicate logic, first-order models, resolution principles, logic programming paradigms, nonmonotonic reasoning.
Not offered on a regular basis.
Credit Hours:
4
Prerequisites:
[CSCI (ARTI) 4540/6540 and PHIL (LING)4 510/6510] or Permission of Department
Level: