[an error occurred while processing this directive] [an error occurred while processing this directive]
CSE 505 Back to Graduate Courses

Course CSE505
Title Computing with Logic
Description

The course explores logic-based computing and logic programming. It includes an introduction to programming in logic, covering basic techniques for solving problems in a logic programming system. Particular attention will be paid to user interface issues and how a logic system can provide a useful computing environment. The course covers implementation issues, emphasizing how a logic programming system generalizes both traditional programming language systems and traditional database systems.

Prerequisite

CSE 214

Credit Information 3 - credits
Course Goals  
Course Webpage http://www.cs.stonybrook.edu/~cse505
[an error occurred while processing this directive]