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:
Graduate

Course information

Schedule

See if and when courses are offered in a given semester via our downloadable course schedule.

Summer 2025 Course Schedule

Fall 2025 Course Schedule

Spring 2025 Course Schedule

Fall 2024 Course Schedule

Summer 2024 Course Schedule

Other info

Look up syllabi, see the master list of courses, and register for classes.

Course Syllabi Lookup
UGA Master List of Courses
Course Registration
Bulletin - Philosophy Course Lookup
UGA Academic Calendars

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.