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

81 - 90 of 108 results for: all courses

PHIL 49: Survey of Formal Methods

Survey of important formal methods used in philosophy. The course covers the basics of propositional and elementary predicate logic, probability and decision theory, game theory, and statistics, highlighting philosophical issues and applications. Specific topics include the languages of propositional and predicate logic and their interpretations, rationality arguments for the probability axioms, Nash equilibrium and dominance reasoning, and the meaning of statistical significance tests. Assessment is through a combination of problem sets and short-answer questions designed to solidify competence with the mathematical tools and to test conceptual understanding. This course replaces PHIL 50.
Terms: Aut, Win | Units: 4 | UG Reqs: GER:DB-Math, WAY-FR

PHIL 50: Introductory Logic

Propositional and predicate logic; emphasis is on translating English sentences into logical symbols and constructing derivations of valid arguments.
Terms: Aut | Units: 4 | UG Reqs: GER:DB-Math, WAY-FR

PHIL 99: Minds and Machines (LINGUIST 144, PSYCH 35, SYMSYS 100)

An overview of the interdisciplinary study of cognition, information, communication, and language, with an emphasis on foundational issues: What are minds? What is computation? What are rationality and intelligence? Can we predict human behavior? Can computers be truly intelligent? How do people and technology interact, and how might they do so in the future? Lectures focus on how the methods of philosophy, mathematics, empirical research, and computational modeling are used to study minds and machines. Undergraduates considering a major in symbolic systems should take this course as early as possible in their program of study.
Terms: Aut | Units: 4 | UG Reqs: GER:DB-SocSci, WAY-FR

PHIL 150: Mathematical Logic (PHIL 250)

An introduction to the concepts and techniques used in mathematical logic, focusing on propositional, modal, and predicate logic. Highlights connections with philosophy, mathematics, computer science, linguistics, and neighboring fields.
Terms: Aut | Units: 4 | UG Reqs: GER:DB-Math, WAY-FR

PHIL 150E: Logic in Action: A New Introduction to Logic

A new introduction to logic, covering propositional, modal, and first-order logic, with special attention to major applications in describing information and information-driven action. Highlights connections with philosophy, mathematics, computer science, linguistics, and neighboring fields. Based on the open source course 'Logic in Action,' available online at http://www.logicinaction.org/.nFulfills the undergraduate philosophy logic requirement.
Last offered: Spring 2014 | UG Reqs: GER:DB-Math, WAY-FR

PHIL 151: Metalogic (PHIL 251)

(Formerly 160A.) The syntax and semantics of sentential and first-order logic. Concepts of model theory. Gödel's completeness theorem and its consequences: the Löwenheim-Skolem theorem and the compactness theorem. Prerequisite: 150 or consent of instructor.
Terms: Win | Units: 4 | UG Reqs: GER:DB-Math, WAY-FR

PHIL 151A: Recursion Theory (PHIL 251A)

Computable functions, Turing degrees, generalized computability and definability. "What does it mean for a function from the natural numbers to themselves to be computable?" and "How can noncomputable functions be classified into a hierarchy based on their level of noncomputability?". Theory of relative computability, reducibility notions and degree structures. Prerequisite is PHIL 150, or PHIL 151 or CS 103.
Last offered: Winter 2013 | UG Reqs: GER:DB-Math, WAY-FR

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 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 166: Probability: Ten Great Ideas About Chance (PHIL 266, STATS 167, STATS 267)

Foundational approaches to thinking about chance in matters such as gambling, the law, and everyday affairs. Topics include: chance and decisions; the mathematics of chance; frequencies, symmetry, and chance; Bayes great idea; chance and psychology; misuses of chance; and harnessing chance. Emphasis is on the philosophical underpinnings and problems. Prerequisite: exposure to probability or a first course in statistics at the level of STATS 60 or 116.
Terms: Spr | Units: 4 | UG Reqs: GER:DB-Math, WAY-FR, WAY-AQR

PHYSICS 61: Mechanics and Special Relativity

(First in a three-part advanced freshman physics series: PHYSICS 61, PHYSICS 63, PHYSICS 65.) This course covers Einstein's special theory of relativity and Newtonian mechanics at a level appropriate for students with a strong high school mathematics and physics background, who are contemplating a major in Physics or Engineering Physics, or are interested in a rigorous treatment of physics. Postulates of special relativity, simultaneity, time dilation, length contraction, the Lorentz transformation, causality, and relativistic mechanics. Central forces, contact forces, linear restoring forces. Momentum transport, work, energy, collisions. Angular momentum, torque, moment of inertia in three dimensions. Damped and forced harmonic oscillators. Uses the language of vectors and multivariable calculus. Recommended prerequisites: Mastery of mechanics at the level of AP Physics C and AP Calculus BC or equivalent. Corequisite: MATH 51.
Terms: Aut | Units: 4 | UG Reqs: GER: DB-NatSci, WAY-FR, WAY-SMA
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