Sep 22, 2023  
Undergraduate/Graduate Catalog 2015-2016 
Undergraduate/Graduate Catalog 2015-2016 [ARCHIVED CATALOG] See drop-down menu above to access other catalogs.

COMP 565 - Logic Programming

(3 credits)
Prerequisite: Admission to the MS program in Computer Science or consent of instructor
This course is an introduction to first order predicate logic as a problem-solving tool. Logic programming languages such as PROLOG are studied along with applications of logic programming to mathematics fields, natural language processing and law.