การหักเงินเป็นซอฟต์แวร์เพื่อการศึกษาได้รับการออกแบบมาเพื่อช่วยให้นักเรียนได้เรียนรู้การพิสูจน์ในตรรกะอย่างเป็นทางการ มันมีจุดมุ่งหมายที่จะใช้โดยอาจารย์และนักศึกษาหลักสูตรตรรกะระดับวิทยาลัยในปรัชญาคณิตศาสตร์และวิทยาการคอมพิวเตอร์ มันจะให้การตอบรับทันทีในแต่ละขั้นตอนของการพิสูจน์ให้คำแนะนำเกี่ยวกับวิธีการดำเนินการพิสูจน์และมาพร้อมกับชุดของ tutorials วิดีโอที่อธิบายและทบทวนแนวคิดที่ท้าทายหลายในตรรกะ หักมีจุดมุ่งหมายเพื่อแก้ปัญหาสามที่ทำให้พิสูจน์องค์ประกอบที่ยากที่สุดของหลักสูตรตรรกะที่เป็นทางการ: ไม่ทราบว่ากฎจะถูกนำไปใช้อย่างถูกต้อง, การติดอยู่ในช่วงกลางของการพิสูจน์และความไม่แน่นอนเกี่ยวกับกฎระเบียบและกลยุทธ์ การหักเงินที่อยู่ในประเด็นเหล่านี้โดยการทำเครื่องหมายข้อผิดพลาดรวมทั้งเครื่องมือคำแนะนำที่จะให้คำแนะนำเกี่ยวกับวิธีการดำเนินการพิสูจน์และมีบทเรียนมัลติมีเดียเพื่อช่วยให้นักเรียนผ่านกฎระเบียบที่ซับซ้อน คุณสมบัติจุดเด่น: 1. ตำรา: หักถูกออกแบบมาเพื่อทำงานต่อเนื่องกับตำราต่อไปนี้: (i) หนังสือลอจิก (โดย Bergmann มัวร์และเนลสัน), (ii) การศึกษาลอจิกโมเดิร์นอย่างเป็นทางการ (โดยพอล Teller) (iii ) ความรู้เบื้องต้นที่จริงจังที่จะคณิตศาสตร์ Logic (โดยโทนีรอย) 2. ข้อผิดพลาดการติดธง - ธงหักข้อผิดพลาดในการพิสูจน์โดยเร็วที่สุดเท่าที่จะเกิดขึ้น นี้เป็นสิ่งสำคัญเพราะเมื่อนักเรียนจะพิสูจน์การเรียนรู้ครั้งแรกหักป้องกันไม่ให้นักเรียนจากการเรียนรู้กฎระเบียบที่ไม่ถูกต้อง 3. คำแนะนำเครื่องยนต์ - หักให้คำแนะนำเกี่ยวกับวิธีการดำเนินการพิสูจน์ เมื่อนักเรียนได้รับการติดอยู่ในช่วงกลางของหลักฐานที่แสดงให้เห็นว่าการหักเงินที่จะทำให้ความคืบหน้า 4. สอนมัลติมีเดีย - การหักเงินมาพร้อมกับชุดของบทเรียนมัลติมีเดียแบ่งออกเป็นสองกลุ่มคือวิธีการใช้การหักเงินที่จะเรียนรู้ตรรกะและวิธีการใช้กฎตรรกะ 5. ความยืดหยุ่น - หักถูกออกแบบมาเพื่อทำงานร่วมกับระบบตรรกะที่แตกต่างและตำรา ทั้งสัญลักษณ์มาตรฐานและทางเลือกที่จะรวมอยู่เช่นเดียวกับกฎที่อาจมีการเปิดและปิดเป็นรายบุคคล 6. ออกแบบสมัยใหม่ - หักมีอินเตอร์เฟซที่ทันสมัย ในฐานะที่เป็นรายการใหม่ในฟิลด์ที่ยังไม่เห็นการปรับปรุงมากในปีที่ผ่านมา (โปรแกรมตรรกะจำนวนมากมีการเขียนสำหรับ DOS, Windows 9x หรือจาวาพื้นฐาน) หักใช้ประโยชน์จากเทคโนโลยีของ Mac OS X เพื่อให้ส่วนติดต่อผู้ใช้ที่สะอาด สนับสนุนการลากและวางและระบบความช่วยเหลือที่ครอบคลุม . 7. มีประสิทธิภาพมากขึ้นกว่ากระดาษ - หักดูแลรายละเอียดการแก้ไขโดยการปรับโดยอัตโนมัติพิสูจน์เมื่อสายมีการเพิ่มลบหรือย้าย
มีอะไรใหม่ ในข่าวประชาสัมพันธ์นี้:
- เพิ่มการสนับสนุนสำหรับหนังสือลอจิก PD + ระบบการปกครอง
- เพิ่มการสนับสนุนสำหรับการแนะนำที่สามารถเข้าถึงระบบการปกครอง ND +
- เพิ่มความสามารถในการส่งออกหักไปยังแฟ้มข้อความ
- เพิ่มความสามารถในการส่งออกที่จะหักตัวอย่างน้ำยาง
ข้อ จำกัด
เฉพาะ กฎต่อไปหักที่มีอยู่ในรุ่นทดลอง: สถานที่, อัสสัมชัย้ำ, ร่วมบทนำร่วมขจัดเงื่อนไขเบื้องต้น, การขจัดเงื่อนไขหนอนบทนำกำจัดหนอน
ความคิดเห็นที่ไม่พบ