Loading… - Stanford University
Loading…Please login to view this page.
1 - 1 of 1 results for: PHIL 150: Mathematical Logic
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 …
Stanford University Explore Courses
PHIL 251:Metalogic (PHIL 151) (Formerly 160A.) The syntax and semantics of sentential and first-order logic. Concepts of model theory. Gödel's completeness theorem and its consequences: …
Stanford University Explore Courses
PHIL 250:Mathematical Logic (PHIL 150) An introduction to the concepts and techniques used in mathematical logic, focusing on propositional, modal, and predicate logic.
Stanford University Explore Courses
Is the world purely physical? Does science answer all of these questions? If not, is there some other way to answer them? Prerequisites: PHIL 80, PHIL 150 (or equivalent), and PHIL 181 (or …
Stanford University Explore Courses
PHIL 150 | UG Reqs: GER:DB-Math, WAY-FR | Class # 14549 | Section 04 | Grading: Letter or Credit/No Credit | DIS | Session: 2022-2023 Autumn 1 | In Person | Students enrolled: 1
Stanford University Explore Courses
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 …
Stanford University Explore Courses
Assessment will consist mainly of problem sets which include both math problems and short essays. Prerequisite: PHIL 150. Terms: Win | Units: 4 Instructors: Briggs, R. (PI)