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.

Bulletin:
http://bulletin.uga.edu/CoursesHome.aspx

Credit Hours:
4
Prerequisites:
[CSCI (ARTI) 4540/6540 and PHIL (LING)4 510/6510] or Permission of Department
Level: