Skip to main content
Skip to search

PHIL/CSCI 8650

Logic and Logic Programming
Credit Hours:
4
Course Description:

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.

Prerequisites:
[CSCI(ARTI) 4540/6540 and PHIL(LING)4510/6510] or permission of department
Level:

Support Philosophy at UGA

The Department of Philosophy appreciates 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.

EVERY DOLLAR CONTRIBUTED TO THE DEPARTMENT HAS A DIRECT IMPACT ON OUR STUDENTS AND FACULTY.