Workshop & Trạm hoạt động
TeachFORGE.ai
Workshop / Hộp cát Logic
Trạm Hộp cát Logic
Thiết kế và mô phỏng mạch logic số với ký hiệu cổng IEEE, công tắc đầu vào trực tiếp, bảng sự thật và công cụ boolean — rồi tái sử dụng một mạch cho nhiều phiên bản lớp học.
AI có thể soạn thảo. Bạn quyết định điều gì lớp học sẽ thấy.
Hộp cát Logic là gì
Hộp cát Logic là một Trạm mạch logic số. Đặt cổng kiểu IEEE, nối mạch, bật tắt đầu vào trực tiếp, và đọc hành vi qua lan truyền tín hiệu, bảng sự thật và biểu thức boolean — gồm tối thiểu hóa Quine–McCluskey khi bạn cần dạng đơn giản hơn.
Điều này quan trọng trong nền tảng tin học và điện tử vì ý tưởng Boolean vẫn trừu tượng cho đến khi người học lật một đầu vào và xem đầu ra trả lời.
Tại sao giáo viên sử dụng Hộp cát Logic
Giới thiệu cổng
AND, OR, NOT, NAND, NOR, XOR, XNOR và bộ đệm với ký hiệu IEEE rõ ràng.
Bộ cộng và khối xây
Minh họa half adder và full adder nối lý thuyết với mạch đang chạy.
MUX và tính phổ quát của NAND
Các mạch danh mục mang những câu chốt giảng dạy kinh điển.
Xác minh
Bảng sự thật và biểu thức tự động để các khẳng định về hành vi có thể được kiểm trong phòng học.
Trên TeachForge, Hộp cát Logic là một Trạm Workshop — được xây để đi từ mạch đến giảng dạy trực tiếp mà không rời nền tảng.
Bên trong Trạm Hộp cát Logic
Giống phần còn lại của Workshop, bạn xây ở một bên và xem hành vi cập nhật ở bên kia.
- Khung vẽ mạch trực quan với đầu vào bấm được để bật tắt 0/1 trực tiếp
- Trình soạn mạch JSON khi bạn muốn kiểm soát cấu trúc đầy đủ
- Bảng bảng sự thật với giới hạn hợp lý khi số đầu vào lớn
- Công cụ biểu thức boolean và tối thiểu hóa trên thanh công cụ
- Cảnh báo đầu vào treo để mạch chưa hoàn chỉnh dễ thấy hơn
- Mẫu logic và gói danh mục tham số hóa, cùng xuất và gửi đến Whiteboard
Một mạch trở thành mô phỏng như thế nào
Tải mẫu hoặc chỉnh cổng và dây
Bắt đầu từ mạch giảng dạy hoặc tự xây.
Bật tắt đầu vào trên khung vẽ
Tín hiệu lan truyền; bảng sự thật và biểu thức cập nhật theo hành vi.
Xuất, lưu hoặc gửi trực tiếp
Đưa lên bảng, vào câu hỏi, hoặc xuất thành tệp mà bạn sở hữu.
Một mạch. Mọi phiên bản của nó.
Hộp cát Logic hỗ trợ các gói danh mục tham số hóa cho các mạch giảng dạy cốt lõi, cùng JSON mạch đã lưu — để một bộ cộng hoặc MUX có thể mở lại với cùng cấu trúc, sẵn sàng cho buổi minh họa mới.
Thay đổi khi bạn giảng dạy
Lật đầu vào, nối lại một cổng, hoặc mở lại bài khởi động giữa lời giải thích.
Giữ cấu trúc, thay đổi câu hỏi
Cùng một mạch có thể chứa “đoán đầu ra” rồi “hoàn thành bảng sự thật”.
Làm Boolean hiện hữu
Nối logic trừu tượng với thứ người học có thể lần từng cổng.
Ở gần đánh giá
Lưu gói mạch và tái sử dụng bên trong câu hỏi và phòng thí nghiệm.
Thích tự đặt từng cổng? Khung vẽ vẫn trống đến khi bạn điền. Các bài khởi động danh mục có mặt khi bạn muốn tốc độ mà không mất mô phỏng.
Các mạch có sẵn để bắt đầu
Mở một gói danh mục hoặc mẫu, rồi điều chỉnh:
| Lĩnh vực | Bạn có thể mở gì |
|---|---|
| Nền tảng | Cổng AND; Tính phổ quát của NAND |
| Số học | Half adder; Full adder |
| Lựa chọn | Bộ chọn 2-vào-1 |
Hỗ trợ AI, theo cách của bạn
Cần bản nháp đầu tiên? Sử dụng AI như một trợ lý — sau đó xem xét, chỉnh sửa và phê duyệt trước khi bất cứ điều gì đến tay người học.
Sao chép prompt
Tạo một prompt có sẵn và dán nó vào công cụ trò chuyện bạn đã đang sử dụng.
Sử dụng GPU của riêng bạn
Kết nối một điểm cuối mô hình cục bộ trong cài đặt của bạn và chạy tạo trên phần cứng bạn kiểm soát.
Sử dụng khóa API của riêng bạn
Thêm khóa nhà cung cấp của bạn trong cài đặt, chọn mô hình và tạo bằng tài khoản của chính bạn.
AI có thể sai. Đó chính là lý do tại sao một giáo viên vẫn phải tham gia vòng lặp.
Đưa mạch đến nơi diễn ra việc giảng dạy
- Whiteboard — đặt nó lên bảng trực tiếp và điều chỉnh nó trước mặt lớp
- Quest Ladder — thả nó vào các câu hỏi và lời giải thích
- Virtual Lab — tái sử dụng nó bên trong các bài thực hành phòng thí nghiệm tương tác
- Cộng đồng — chia sẻ những gì bạn đã xây dựng, và xây dựng dựa trên những gì các nhà giáo dục khác đã chia sẻ