2019-2020 2020-2021 2021-2022 2022-2023 2023-2024
Browse
by subject...
    Schedule
view...
 

1 - 1 of 1 results for: PHIL250

PHIL 250: Basic Concepts in Mathematical Logic (PHIL 150)

The concepts and techniques used in mathematical logic, primarily through the study of the language of first order logic. Topics: formalization, proof, propositional logic, quantifiers, sets, mathematical induction, modal logics and the logic of diagrams.
Terms: Aut | Units: 4
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