LOGICOMP (Logic and Computation)
Stage I
Stage III
LOGICOMP 300 - Directed Study (15 pts)π³
LOGICOMP 301 - Philosophy and Computation (15 pts)π³
Covers a range of issues arising from the engagement of philosophy and computer science. Topics include the nature of computation, the limits of computation, and philosophical problems facing Artificial Intelligence.
LOGICOMP 302 - Special Topic (15 pts)π³
LOGICOMP 399 - Capstone: Logic and Computation (15 pts)π³
Potential topics relate logic and computation, and their roles in modern information society. Topics and reading material are introduced before students pick topics, to work alone or in small teams. The topics will be chosen to be accessible to all participants, thereby fostering interaction and interdisciplinary collaboration.
Postgraduate 700 Level Courses
LOGICOMP 701 - Directed Studies (15 pts)π³
Supervised research studies in an area of logic and computation.
LOGICOMP 702 - Special Topic (15 pts)π³
LOGICOMP 703 - Directed Study (15 pts)π³
Supervised research studies in an area of logic and computation.