LOGICOMP (Logic and Computation)

← Back to all subjects

Stage I

LOGICOMP 201 - Special Topic (15 pts)🏳

Stage III

LOGICOMP 300 - Directed Study (15 pts)🏳

Prerequisite: Approval of Academic Head or nominee

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.

Prerequisite: COMPSCI 120, and PHIL 216 or 222

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.

Prerequisite: 30 points at Stage III in Logic and Computation

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.

LOGICOMP 704 - Special Topic (15 pts)🏳

LOGICOMP 705 - Special Topic (15 pts)🏳

LOGICOMP 782 - (30 pts)🏳

LOGICOMP 782A - (15 pts)🏳

LOGICOMP 782B - Research Project - Level 9 (15 pts)🏳

Restriction: LOGICOMP 780, 788

A and B, or LOGICOMP 782

LOGICOMP 796A - (60 pts)🏳

LOGICOMP 796B - Thesis - Level 9 (60 pts)🏳

Prerequisite: A BA(Hons) in Logic and Computation with at least Second Class Honours, First Division, or equivalent

A and B Māori Studies