Workshop 與工作站
TeachFORGE.ai
Workshop / 邏輯 沙盒
邏輯 沙盒 工作站
用 IEEE 門符號、即時輸入開關、真值表與布林工具設計並模擬數字邏輯電路——再把一條電路複用於多種課堂版本。
AI 可以起草。由你決定課堂看到什麼。
邏輯 沙盒 是什麼
邏輯 沙盒 是數字邏輯電路 工作站。放置 IEEE 風格的門、接線、現場切換輸入，並透過訊號傳播、真值表與布林表示式讀出行為——需要更簡形式時還包括 奎因–麥克拉斯基 化簡。
這對計算與電子基礎很重要，因為在學習者能撥動輸入並看見輸出作答之前，布林想法一直抽象。
教師為何使用 邏輯 沙盒
閘電路入門
帶清晰 IEEE 符號的 AND、OR、NOT、NAND、NOR、XOR、XNOR 與緩衝器。
加法器與構建塊
把理論接到可工作電路的半加器與全加器演示。
MUX 與 NAND 完備性
帶經典教學點的目錄電路。
驗證
自動真值表與表示式，讓關於行為的說法可以在教室裡核對。
在 TeachForge 上，邏輯 沙盒 是 Workshop 的 工作站——為從電路走到現場教學、無需離開平臺而建。
邏輯 沙盒 工作站 內
與 Workshop 其餘部分一樣，你一邊搭建，一邊看行為更新。
- 可視電路畫布 ，含可點選輸入以現場切換 0/1
- JSON 電路編輯器 ，當你需要完整結構控制時
- 真值表面板 ，對大量輸入有合理上限
- 布林表示式與化簡工具 在工具欄上
- 浮空輸入警告 ，讓不完整電路更容易被發現
- 邏輯模板與引數化目錄包，以及匯出與傳送到 Whiteboard
電路如何變成模擬
載入模板，或編輯門與連線
從教學電路開始，或自己搭建。
在畫布上切換輸入
訊號傳播；真值表與表示式隨行為更新。
匯出、儲存，或即時傳送
送到白板上、放進題目，或匯出為你自己的檔案。
一條電路。它的每個版本。
邏輯 沙盒 支援 引數化目錄包 ，用於核心教學電路，外加已儲存的電路 JSON——加法器或 MUX 可按同一結構重開，準備新演示。
邊教邊改
翻轉輸入、改接一門，或在講解中重開起點。
保持結構，變化問題
同一電路可先承載「預測輸出」，再承載「完成真值表」。
讓布林看得見
把抽象邏輯接到學習者可以一門一門追蹤的東西上。
貼近評估
儲存電路包，並在題目與實驗室中複用。
更喜歡手搭每一扇門？畫布會空著，直到你填入。需要既快又不丟掉模擬時，目錄起點就在那裡。
可起步的現成電路
開啟目錄包或模板，再改編：
| 區域 | 可開啟的內容 |
|---|---|
| 基礎 | AND 門；NAND 完備性 |
| 算術 | 半加器；全加器 |
| 選擇 | 2 選 1 多路複用器 |
按你的方式使用 AI 幫助
需要初稿？把 AI 當助手——在到達學習者之前審閱、編輯並批准。
複製提示詞
生成現成提示詞，貼上到你已在用的聊天工具。
使用自己的 GPU
在設定中連線本地模型端點，在你控制的硬體上執行生成。
使用自己的 API 金鑰
在設定中新增提供商金鑰，選擇模型，用自己的帳號生成。
AI 可能會出錯。正因如此，教師才留在環路中。
把電路帶到教學發生的地方
- Whiteboard — 放到即時白板上，在全班面前調整
- Quest Ladder — 放入問題與講解
- Virtual Lab — 在互動實驗作業中複用
- 社群 — 分享你的作品，並在其他教育者分享的基礎上繼續構建