Quest Ladder
TeachFORGE.ai
Quest Ladder / 表示式
表示式與計算事實
讓平臺根據它生成的值算出答案,使兩者永不不一致。
切勿手寫機器可以推導的答案。
為何推導而不是手寫
一旦題目有變化的數值,答案也會變。手寫答案不再可能——沒有單一答案——因此答案寫成變數上的表示式,引擎為每個生成版本求值。
同樣適用於提示與解答中依賴數字的任何內容。解答步驟寫 除以 4 在除數變成變數的那一刻就錯了;引用變數的步驟在每個版本都保持正確。
計算事實
計算事實是由取樣變數得出的命名值,在 計算事實 配合 新增事實下定義一次。它接受 id 與表示式,插入方式與變數完全相同。
每當同一匯出量出現不止一次時使用——簡化形式、中間合計、公約數。在一處定義意味著編輯其中之一時,題幹、答案、提示與解答不會漂移。
事實也是題目應避免之事的正確歸屬。計算答案是否為整數的事實可驅動規則,使生成器根本不產出難看情形。
撰寫表示式
表示式是數學性的而非程式性的:使用標準運算子與函式名,插入托盤 表示式 下拉後的指南列出可用內容與示例。
存在兩個求值層級。快速層處理普通算術與代數,幾乎總是你想要的。更重的符號層處理真正需要代數操作的情形。指南標明哪是哪;有選擇時,快速層在一次生成兩百道題時保持速度。
用樣本檢查
錯誤的表示式在編輯器中不明顯,在生成樣本中卻刺眼。在題型上構建階梯之前,生成幾個版本並閱讀答案。
特別容易絆倒人的:本意是分數卻用了整除、除數範圍含零的表示式,以及在錯誤步驟應用舍入導致所述答案與學習者算出的差一位。
當查詢比公式更清晰時——屬性表、統計臨界值—— 資料表 改做那件事。