 |
|
||||||||||||||||||
 |
 |
 |
 |
 |
 |
 |
 |
|
|||||||||||
|
|
||||||||||||||||||
|
|
||||||||||||||||||
|
|
||||||||||||||||||
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 | CSE214 |
| Credit Information | 3 - credits |
| Course Webpage | http://www.cs.sunysb.edu/~cse505 |
