Deductions 1.3

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

ซอฟแวร์ที่แนะนำ เพื่อ Mac