Skip to main content
Skip to main menu

Slideshow

CSCI(PHIL) 8650

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:

Support us

We appreciate your financial support. Your gift is important to us and helps support critical opportunities for students and faculty alike, including lectures, travel support, and any number of educational events that augment the classroom experience. Click here to learn more about giving.

Every dollar given has a direct impact upon our students and faculty.