JUNIOR 组面向 ILO Junior
11–14 岁 · 美国 6–8 年级 · 线上
十二次周六课程，从零开始系统建立逻辑推理能力：命题与联系词、真值表、骑士与无赖谜题及网格谜题、简单证明，以及一次完整模拟考。
- 形式
- 线上
- 课次
- 12
- 上课时间
- 周六 10:30–12:30
- 总课时
- 24
- 上课期间
- 2026年10月31日 – 2027年2月6日
- ILO 初赛
- 2027年4月10日
01 / 两个组别
选择与您参赛组别对应的课程。
每个组别对应 ILO 的一个竞赛组别。若不确定自己属于哪一组，请查看 ILO 2027 泰国页面的资格规则。
JUNIOR 组
SENIOR 组面向 ILO Senior
14–18 岁 · 美国 9–12 年级 · 线上
十五次周六课程，依据斯坦福《逻辑导论》课程：命题逻辑与关系逻辑、Fitch 证明、归结法、Herbrand 逻辑，以及一次按 ILO 赛制进行的计时模拟考。
- 形式
- 线上
- 课次
- 15
- 上课时间
- 周六 16:30–18:30
- 总课时
- 30
- 上课期间
- 2026年10月31日 – 2027年2月27日
- ILO 初赛
- 2027年4月17日
02 / 学习内容
各组别的学习主题。
Junior 组依据 ILO Junior 官方考纲；Senior 组依据斯坦福《逻辑导论》课程——ILO 正是以这门课程为基础。
Junior 组官方考纲主题
- 基础算术+, −, ×, ÷, >, <
- 集合与集合运算并集、交集、补集、子集
- 函数数值型与非数值型
- 关系一元、二元、三元
- 图例如人与人之间的“喜欢”或“父母”关系
- 逻辑网格与表格以表格形式呈现的关系
- 数据集以句子表述的事实
- 关系定义祖父母 = 父母的父母
- 定义求值根据父母关系的事实找出祖父母
- 约束与目标找出满足目标的数据集
斯坦福《逻辑导论》课程主题
- 导论
- 命题逻辑
- 命题分析
- 直接证明
- 自然演绎
- 归结证明
- 关系逻辑
- 关系分析
- 模型检验
- Fitch 证明
- 词项逻辑
- 归纳法
- 归结法
- 等词
- 一阶逻辑
03 / 上课方式
每节课的安排。
每周一次，每次两小时
Junior 10:30–12:30，Senior 16:30–18:30，自 2026 年 10 月 31 日起。公共假期以及圣诞与新年周停课，课表顺延，不删减课次。
依托斯坦福逻辑课程
内容依据 ILO 赛题所本的斯坦福《逻辑导论》课程：命题逻辑、关系逻辑、Herbrand 逻辑，以及 Fitch 证明。
按真实赛制练习
第一次课做诊断题，全程互动练习，初赛前再进行一次 75 分钟、10 题的完整模拟考。
录像供复习
每节课都有录像。可回看以复习证明、谜题或模拟考讲解。
04 / 重要日期
从第一次课到斯坦福。
Junior 第一次课
每周六 10:30–12:30。
ILO 报名开放
世界逻辑日 · 在官方门户报名，每位学生 50 美元。
Junior 最后一次课
ILO 报名截止
Junior 初赛
在我们的曼谷考场现场应考。
决赛
加利福尼亚州斯坦福大学。
Senior 第一次课
每周六 16:30–18:30。
ILO 报名开放
世界逻辑日 · 在官方门户报名，每位学生 50 美元。
Senior 最后一次课
ILO 报名截止
Senior 初赛
在我们的曼谷考场现场应考。
决赛
加利福尼亚州斯坦福大学。
ILO 2027 日期依据 ILO 2027 赛季启动公告，并以官方确认为准。
05 / 逐月日历
导师辅导日历。
Junior 上午上课（10:30–12:30），Senior 下午上课（16:30–18:30），从第一次课到 ILO 初赛，并标出停课周与 ILO 报名窗口。
- Junior 课程 · 10:30–12:30
- Senior 课程 · 16:30–18:30
- 停课
- ILO 日期
2026年10月J 1S 1
2026年11月J 4S 4
2026年12月J 2S 2
2027年1月J 4S 4
2027年2月J 1S 4
2027年3月J 0S 0
2027年4月J 0S 0
如遇讲师身体不适或其他突发情况，上课日期与时间可能调整，我们会第一时间通知学生。
准备开始了吗？
请联系 Beyond Code Academy，了解项目费用、上课时间，以及 Junior 或 Senior 组名额。ILO 50 美元报名费需在官方门户另行支付。