Search Results

CSC350: Logic Programming for Artificial Intelligence – 3 credits

Introduction to the fundamentals of logic and logic programming, a paradigm that uses formal logic to express computational algorithms. Focus on propositional and predicate logic, basics of proof techniques, principles of computational logic, and logic programming concepts using Prolog-based logic programming languages. Emphasis on application to artificial intelligence. Prerequisites: A grade of C or better in (CSC240++ and MAT227) or permission of Program Director.