Fall 2025 - COGS 315 D100
Formal Methods (3)
Class Number: 4848
Delivery Method: In Person
Overview
-
Course Times + Location:
Sep 3 – Dec 2, 2025: Thu, 2:30–5:20 p.m.
Burnaby -
Exam Times + Location:
Dec 8, 2025
Mon, 3:30–6:30 p.m.
Burnaby
-
Prerequisites:
One of: PHIL 110, 210, 310, 314, MACM 101, BUEC 232 or STAT 270.
Description
CALENDAR DESCRIPTION:
A survey of formal methods used in philosophy, cognitive science, linguistics and related disciplines. Topics will include some of the following: prepositional logic, predicate logic, formal syntax, formal semantics, the probability calculus, decision theory, game theory and formal causal modeling. Students with credit for PHIL 315 may not take this course for further credit.
Materials
REQUIRED READING NOTES:
Your personalized Course Material list, including digital and physical textbooks, are available through the SFU Bookstore website by simply entering your Computing ID at: shop.sfu.ca/course-materials/my-personalized-course-materials.
Registrar Notes:
ACADEMIC INTEGRITY: YOUR WORK, YOUR SUCCESS
At SFU, you are expected to act honestly and responsibly in all your academic work. Cheating, plagiarism, or any other form of academic dishonesty harms your own learning, undermines the efforts of your classmates who pursue their studies honestly, and goes against the core values of the university.
To learn more about the academic disciplinary process and relevant academic supports, visit:
- SFU’s Academic Integrity Policy: S10-01 Policy
- SFU’s Academic Integrity website, which includes helpful videos and tips in plain language: Academic Integrity at SFU
RELIGIOUS ACCOMMODATION
Students with a faith background who may need accommodations during the term are encouraged to assess their needs as soon as possible and review the Multifaith religious accommodations website. The page outlines ways they begin working toward an accommodation and ensure solutions can be reached in a timely fashion.