Stage I Compulsory Courses

Complete 30 points for ALL of the following:

• COMPSCI 120 - Mathematics for Computer Science (15 points)

• PHIL 101 - Introduction to Logic (15 points)

Stage I Elective Courses

Complete exactly 15 points from the following:

• COMPSCI 130 - Introduction to Software Fundamentals (15 points)

• LINGUIST 100 - Introduction to Linguistics (15 points)

• PHIL 105 - Critical Thinking (15 points)

Group 1 Stage II Elective Courses

Complete exactly 15 points from the following:

• COMPSCI 220 - Algorithms and Data Structures (15 points)

• LINGUIST 200 - Syntax (15 points)

• PHIL 216 - Modal Logic (15 points)

Group 2 Stage II Elective Courses

Complete exactly 15 points from the following:

• COMPSCI 225 - Discrete Structures in Mathematics and Computer Science (15 points)

• MATHS 254 - Fundamental Concepts of Mathematics (15 points)

Stage II Compulsory Course

Complete 15 points for ALL of the following:

• PHIL 222 - Intermediate Logic (15 points)

Stage III Compulsory Courses

Complete 30 points for ALL of the following:

• COMPSCI 350 - Mathematical Foundations of Computer Science (15 points)

• PHIL 315 - Modal Logic (15 points)

Stage III Elective Courses

Complete exactly 30 points from the following:

• COMPSCI 320 - Applied Algorithmics (15 points)

• COMPSCI 367 - Artificial Intelligence (15 points)

• LINGUIST 300 - Advanced Syntax (15 points)

• LOGICOMP 301 - Philosophy and Computation (15 points)

• MATHS 315 - Mathematical Logic (15 points)

• PHIL 306 - Language, Truth and Meaning (15 points)

• PHIL 323 - Philosophy of Logic (15 points)