- หน้าแรก
- Mac
- Deductions
- ดาวน์โหลด ...
Deductions 1.3
การหักเงินเป็นซอฟต์แวร์เพื่อการศึกษาได้รับการออกแบบมาเพื่อช่วยให้นักเรียนได้เรียนรู้การพิสูจน์ในตรรกะอย่างเป็นทางการ มันมีจุดมุ่งหมายที่จะใช้โดยอาจารย์และนักศึกษาหลักสูตรตรรกะระดับวิทยาลัยในปรัชญาคณิตศาสตร์และวิทยาการคอมพิวเตอร์...