同一个LogicLab，练习、章末作业与独立程序为何提供不同辅导

成人自学者读在线逻辑课程简介时，看到LogicLab与Proof Tutor同时出现，容易把它们理解为一套始终同行的功能。CMU OLI的Logic & Proofs公开页却明确列出几种不同安排：章内证明练习、章末作业，以及能提出自己问题的独立LogicLab。它们都涉及逻辑活动，辅导的可用范围却并不相同。

课程中的Proof Tutor按需提供动态支持。原页说，它利用自动证明搜索机制，在与学习者的对话中给出有关解题策略的提示。这段说明对应证明构造练习，并不表示所有页面、所有题型都会得到同样提示。工具能帮助思考某一种问题，与任意任务都自带辅导，是两个不同范围。

Individual Learner部分先介绍免费版本：它不包括章末作业和考试，但章节中构造证明的练习仍允许请求Dynamic Proof Tutor。因而，免费版没有考试，不能被缩写成没有练习；有没有考核任务，与已有练习能否获得支持，需要分别读。页面末尾通用的No tests提示，也不能抹去前面具体写出的证明练习。

另一种个人学习版本包括章末作业。该版本的证明练习也可使用Proof Tutor，作业则不提供这一辅导。原页同时说，章末作业自动评分并提供反馈。这使“没有动态辅导”与“没有任何反馈”保持区别：在作业过程中获得策略提示，和作答后收到自动反馈，并不是同一种信息安排。本文没有进入课程或完成真实作业。

Standalone LogicLab又改变了问题来源。在线课程把任务固定在OLI框架内，独立程序允许学习者表述并探索自己的逻辑问题。原页专门指出，独立程序不提供Proof Tutor的动态支持。因此，更自由地提出问题，并没有同时扩大辅导服务；任务可以由自己建立，与系统会为该任务给提示，不能互相代替。

这对自学资料整理有具体用途。介绍一项工具时，可以说明当前谈的是课程内练习、章末作业还是独立程序，再保留对应的提示与反馈范围。若只写“包含LogicLab”，读者仍不知道自己期待的辅导出现在哪种任务中。这是依据公开说明形成的阅读分析，不是报名或学习方案。

本篇采用课程Description、Active engagement、LogicLab与Individual Learner及相邻版本说明，首次发布日期未知，未读取课程全部教学内容。机构课堂部分可能另有教师或助教安排，不能直接带到个人版本；本文也不评定证书、学分或学习效果。准确描述工具所在的环境，才能使一项具体功能有清楚的边界。