Please note:
To view the current Academic Calendar, go to www.sfu.ca/students/calendar.html.
Formal Methods COGS 315 (3)
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. Prerequisite: One of: PHIL 110, 210, 310, 314, MACM 101, BUEC 232 or STAT 270. Students with credit for PHIL 315 may not take this course for further credit.
| Section | Instructor | Day/Time | Location |
|---|---|---|---|
| D100 |
Gregory Lauro |
Sep 4 – Dec 3, 2024: Mon, 2:30–4:20 p.m.
Oct 15, 2024: Tue, 2:30–4:20 p.m. Sep 4 – Dec 3, 2024: Wed, 2:30–3:20 p.m. |
Burnaby Burnaby Burnaby |