---

[WesMaps 98/99 Home Page] [Course Search] [Course Search by CID]

Foundations of Computer Science II COMP552 SP

Depending on student interests, the topics will be chosen from either (a) intuitionistic and categorical logic, including the categorical semantics of linear logic, or (b) automated deduction and logic programming, including typed, untyped and linear variants, as well as programming with lambda-prolog and Ergo environments.

MAJOR READINGS

EXAMINATIONS AND ASSIGNMENTS

ADDITIONAL REQUIREMENTS and/or COMMENTS

COURSE FORMAT: Lecture

REGISTRATION INFORMATION

Level: GR Credit: 1.00

Prerequisites: None

Last Updated on MAR-22-1999