2017-2018 2018-2019 2019-2020 2020-2021 2021-2022
Browse
by subject...
    Schedule
view...
 
  COVID-19 Scheduling Updates!
See Stanford's HealthAlerts website for latest updates concerning COVID-19 and academic policies.

1 - 2 of 2 results for: PHIL 154

PHIL 154: Modal Logic (PHIL 254)

(Graduate students register for 254.) Syntax and semantics of modal logic and its basic theory: including expressive power, axiomatic completeness, correspondence, and complexity. Applications to classical and recent topics in philosophy, computer science, mathematics, linguistics, and game theory. Prerequisite: 150 or preferably 151.
Terms: Spr | Units: 4 | UG Reqs: GER:DB-Math, WAY-FR

PHIL 359: Logic Spring Seminar

The seminar will present current research on logic and its connections with other fields (philosophy, computer science, mathematics) by Stanford faculty and graduate students plus some external guest speakers. Topics: dependence, causal inference, vector space models, knowledge and information dynamics, logic and counting, foundations of algorithms and computing. Introductory materials will be provided in advance for each topic. Prerequisite: 151, 154/254, or equivalent background. May be repeated for credit.
Terms: Spr | Units: 2-4 | Repeatable 5 times (up to 20 units total)
Filter Results:
term offered
updating results...
teaching presence
updating results...
number of units
updating results...
time offered
updating results...
days
updating results...
UG Requirements (GERs)
updating results...
component
updating results...
career
updating results...
© Stanford University | Terms of Use | Copyright Complaints