Option Groups
Complete 2 of the following option groups:
-
Logic
Complete exactly 2 courses from the following:
Course Name Credits (Min/Max) Typically Offered CSC 506 Logic and Automated Reasoning Prerequisite: CSC317 or CSC545, MTH309 or MTH230.3/3 Fall Odd Years MTH 230 Introduction to Abstract Mathematics Pre/Corequisite: MTH 162 or MTH 172.3/3 Fall & Spring MTH 506 Mathematical Logic Prerequisite: MTH 230.3/3 By Announcement PHI 210 Symbolic Logic 3/3 Fall & Summer PHI 506 Mathematical Logic 3/3 By Announcement PHI 510 Formal Logic 3/3 Spring -
Reasoning
Complete at least 1 course from the following:
Course Name Credits (Min/Max) Typically Offered PHI 110 Critical Thinking 3/3 Fall & Spring PHI 215 Logic and Law 3/3 Spring PHI 340 Theory of Knowledge 3/3 Fall & Spring PHI 343 Philosophy of Science 3/3 By Announcement PHI 346 Philosophy of Mathematics 3/3 By Announcement
*Indicates an inactive course
