printer friendly pagePHIL 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 technical topics like completeness and correspondence theory, including both classical and recent developments. Applications to topics in philosophy, computer science, and other fields. Prerequisite: 150 or preferably 151.
Terms: Spr
| Units: 4
| UG Reqs: GER:DB-Math, WAY-FR
Instructors:
Wang, Y. (PI)
;
van Benthem, J. (PI)
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.
Last offered: Spring 2013
| UG Reqs: GER:DB-Math, WAY-AQR, WAY-FR
PHYSICS 61: Mechanics and Special Relativity
(First in a three-part series:
PHYSICS 61,
PHYSICS 63,
PHYSICS 65.) Advanced freshman physics. For students with a strong high school mathematics and physics background contemplating a major in Physics or interested in a rigorous treatment of physics. Special theory of relativity and Newtonian mechanics with multi- variable calculus. 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. Recommended prerequisites: Mastery of mechanics at the level of AP Physics C and AP Calculus B/C or equivalent. Corequisite:
MATH 51.
Terms: Aut
| Units: 4
| UG Reqs: GER: DB-NatSci, WAY-FR, WAY-SMA
PHYSICS 63: Electricity, Magnetism, and Waves
(Second in a three-part advanced freshman physics series:
PHYSICS 61,
PHYSICS 63,
PHYSICS 65.) This course covers the foundations of electricity and magnetism 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. Electricity, magnetism, and waves with some description of optics. Electrostatics and Gauss' law. Electric potential, electric field, conductors, image charges. Other theorems of vector calculus. Electric currents, DC circuits. Moving charges, magnetic field, Ampere's law. Solenoids, transformers, induction, AC circuits, resonance. Relativistic point of view for moving charges. Displacement current, Maxwell's equations. Electromagnetic waves, dielectrics. Diffraction, interference, refraction, reflection, polarization.
Terms: Win
| Units: 4
| UG Reqs: GER: DB-NatSci, WAY-FR, WAY-SMA
PHYSICS 65: Quantum and Thermal Physics
(Third in a three-part series:
PHYSICS 61,
PHYSICS 63,
PHYSICS 65.) Advanced freshman physics. For students with a strong high school mathematics and physics background contemplating a major in Physics or interested in a rigorous treatment of physics. Introduction to quantum mechanics: matter waves, atomic structure, Schrödinger's equation. Thermodynamics and statistical mechanics: entropy and heat, Boltzmann statistics, quantum statistics. Prerequisites:
PHYSICS 61 &
PHYSICS 63. Pre- or corequisite:
MATH 53.
Terms: Spr
| Units: 4
| UG Reqs: WAY-SMA, GER: DB-NatSci, WAY-FR
PHYSICS 110: Advanced Mechanics (PHYSICS 210)
Lagrangian and Hamiltonian mechanics. Principle of least action, Euler-Lagrange equations. Small oscillations and beyond. Symmetries, canonical transformations, Hamilton-Jacobi theory, action-angle variables. Introduction to classical field theory. Selected other topics, including nonlinear dynamical systems, attractors, chaotic motion. Undergraduates register for
Physics 110 (4 units). Graduates register for
Physics 210 (3 units). (Graduate student enrollees will be required to complete additional assignments in a format determined by the instructor.) Prerequisites:
MATH 131P, and PHYS 112 or MATH elective 104 or higher. Recommended prerequisite: PHYS 130.
Terms: Aut
| Units: 3-4
| UG Reqs: GER: DB-NatSci, WAY-FR, WAY-SMA
Filter Results: