Deductions 1.3
การหักเงินเป็นซอฟต์แวร์เพื่อการศึกษาได้รับการออกแบบมาเพื่อช่วยให้นักเรียนได้เรียนรู้การพิสูจน์ในตรรกะอย่างเป็นทางการ มันมีจุดมุ่งหมายที่จะใช้โดยอาจารย์และนักศึกษาหลักสูตรตรรกะระดับวิทยาลัยในปรัชญาคณิตศาสตร์และวิทยาการคอมพิวเตอร์...
Intuition 1.0.3
ปรีชาเป็นความก้าวหน้าในเกมปริศนาที่ผสมผสานออกจากกล่องความคิดด้วยความสนุกสนานสมองล้อเล่น แรงบันดาลใจจาก MU-ปริศนาในหนังสือดักลาส Hofstaedter พูลิตเซอร์ชนะเลิศรางวัลเกอเดล, Escher, Bach:...
ซอฟแวร์ที่เป็นที่นิยม
-
Intuition 13 Dec 14
-
Deductions 2 Jan 15