PROGRAMME PROFILE
项目速览
- 主办 / 项目归属
- Stanford University
- 国家 / 地区
- 美国
- 形式与时长
- 线上 / 线下或混合 · 按班期
- 年龄 / 阶段
- 见申请资格
- 项目类型
- 大学学术课程
- 资料年份
- 2026
资料核查：2026-11-11 · 官方事实与编辑建议分别标注
学习内容与方式
- 从逻辑语言到形式化推理，练习逐步验证结论。
申请资格与国际学生路径
选课前核对班期与形式；面授营的走读安排需单独考虑。
具体国际申请路径仍需进一步确认，不能据此视为中国学生一定可申请。
申请时间与费用
时间安排
当前年度日期待官方公布或进一步核实。
费用说明
当前年度完整费用待核实。请确认课程、住宿、餐饮、保险与交通的包含项。
适合谁，怎样准备
先做一组命题逻辑练习，区分日常语言中的推断与形式证明。
官方来源与核查
- 项目官方资料 ↗logic.stanford.edu
费用、资格与班期以对应年度官方说明为准。图片优先采用项目或院校官方资料，其他来源单独署名；配图用于展示项目或校园背景，不代表当前年度具体课程现场。
