Courses - Faculty of Arts
Logic and Computation
Stage III
Philosophy and Computation
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.
Prerequisite: COMPSCI 120, and PHIL 216 or 222
Capstone: Logic and Computation
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.
Prerequisite: 30 points at Stage III in Logic and Computation
Postgraduate 700 Level Courses
Directed Studies
Supervised research studies in an area of logic and computation.
Directed Study
Supervised research studies in an area of logic and computation.
Research Project - Level 9
Restriction: LOGICOMP 780, 788
To complete this course students must enrol in LOGICOMP 782 A and B, or LOGICOMP 782