นี่คือแอป Windows ชื่อ SPINdle ซึ่งสามารถดาวน์โหลดรีลีสล่าสุดเป็น spindle_all__2.2.4.zip สามารถเรียกใช้ออนไลน์ใน OnWorks ผู้ให้บริการโฮสต์ฟรีสำหรับเวิร์กสเตชัน
ดาวน์โหลดและเรียกใช้แอปนี้ออนไลน์ชื่อ SPINdle พร้อม OnWorks ฟรี
ทำตามคำแนะนำเหล่านี้เพื่อเรียกใช้แอปนี้:
- 1. ดาวน์โหลดแอปพลิเคชั่นนี้ในพีซีของคุณ
- 2. เข้าไปที่ file manager https://www.onworks.net/myfiles.php?username=XXXXX ด้วยชื่อผู้ใช้ที่คุณต้องการ
- 3. อัปโหลดแอปพลิเคชันนี้ในตัวจัดการไฟล์ดังกล่าว
- 4. เริ่มโปรแกรมจำลองออนไลน์ของ OS OnWorks จากเว็บไซต์นี้ แต่โปรแกรมจำลองออนไลน์ของ Windows ที่ดีกว่า
- 5. จากระบบปฏิบัติการ Windows ของ OnWorks ที่คุณเพิ่งเริ่มต้น ไปที่ตัวจัดการไฟล์ของเรา https://www.onworks.net/myfiles.php?username=XXXXX พร้อมชื่อผู้ใช้ที่คุณต้องการ
- 6. ดาวน์โหลดแอปพลิเคชั่นและติดตั้ง
- 7. ดาวน์โหลดไวน์จากที่เก็บซอฟต์แวร์ลีนุกซ์ดิสทริบิวชันของคุณ เมื่อติดตั้งแล้ว คุณสามารถดับเบิลคลิกที่แอปเพื่อเรียกใช้แอปด้วย Wine คุณยังสามารถลองใช้ PlayOnLinux ซึ่งเป็นอินเทอร์เฟซแฟนซีบน Wine ที่จะช่วยคุณติดตั้งโปรแกรมและเกมยอดนิยมของ Windows
ไวน์เป็นวิธีเรียกใช้ซอฟต์แวร์ Windows บน Linux แต่ไม่จำเป็นต้องใช้ Windows Wine เป็นเลเยอร์ความเข้ากันได้ของ Windows แบบโอเพ่นซอร์สที่สามารถเรียกใช้โปรแกรม Windows ได้โดยตรงบนเดสก์ท็อป Linux โดยพื้นฐานแล้ว Wine พยายามนำ Windows กลับมาใช้ใหม่ให้เพียงพอตั้งแต่เริ่มต้น เพื่อให้สามารถเรียกใช้แอปพลิเคชัน Windows เหล่านั้นทั้งหมดโดยไม่จำเป็นต้องใช้ Windows จริงๆ
ภาพหน้าจอ
Ad
แกนหมุน
DESCRIPTION
SPINdle เป็นเครื่องให้เหตุผลเชิงตรรกะที่สามารถใช้ในการคำนวณผลที่ตามมาของทฤษฎีตรรกะที่อธิบายได้ในลักษณะที่มีประสิทธิภาพ การใช้งานปัจจุบันครอบคลุมทั้งตรรกะที่เปลี่ยนได้พื้นฐานและตรรกะที่ปรับแก้ได้แบบโมดอล
คุณสมบัติ
- รองรับกฎทุกประเภทของตรรกะที่เปลี่ยนได้ เช่น ความจริง กฎที่เข้มงวด กฎที่เปลี่ยนได้ ผู้พ่ายแพ้ และความเหนือกว่า
- รองรับ Modal Defasible Logics พร้อมการแปลงตัวดำเนินการแบบโมดอล
- รองรับการปฏิเสธและความขัดแย้ง (ไม่เกิดร่วมกัน) ตามตัวอักษร
- ทฤษฎีที่แก้ไขได้สามารถแสดงได้โดยใช้ XML และข้อความธรรมดา (ด้วยไวยากรณ์ที่กำหนดไว้ล่วงหน้า) และทฤษฎีและส่วนขยายสามารถส่งออกได้โดยใช้ XML
- โปรแกรมแก้ไขทฤษฎีภาพได้รับการพัฒนาสำหรับการแก้ไขทฤษฎีตรรกะที่อธิบายได้มาตรฐาน (โปรดอ้างอิงถึงบ้านของโครงการสำหรับรายละเอียด)
ภาษาโปรแกรม
ชวา
หมวดหมู่
นี่คือแอปพลิเคชันที่สามารถดึงข้อมูลจาก https://sourceforge.net/projects/spindlereasoner/ มีการโฮสต์ใน OnWorks เพื่อให้ทำงานออนไลน์ในวิธีที่ง่ายที่สุดจากหนึ่งในระบบปฏิบัติการฟรีของเรา