Stony Brook University Logo Computer Science

CSE505

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
Credits 3 - credits
Course Outcomes
Textbook
Course Webpage

CSE505