Conjoint: BA/BGlobalSt module in Coding and Logic

You will develop the skills to represent, construct and evaluate arguments, and learn formal methods for reasoning about difficult concepts such as time and necessity.

Many organisations are now engaging with artificial intelligence and automation. Your combined knowledge of logical and computational reasoning could be a good foundation for understanding this increasingly important influence on working life.

You must complete three of the courses listed below (45 points), including PHIL 101 and COMPSCI 101.
Each course is worth 15 points. Before you can enrol in a Stage II course you need to have passed the prerequisite courses for enrolment in that course.

Stage I courses
COMPSCI 101 - Principles of Programming
PHIL 101 - Introduction to Logic

Stage II courses
COMPSCI 225 - Discrete Structures in Mathematics and Computer Science
PHIL 216 - Modal Logic
PHIL 222 - Intermediate Logic