ภาษาอังกฤษภาษาฝรั่งเศสสเปน

Ad


ไอคอน Fav ของ OnWorks

ดาวน์โหลด LogicCalculus สำหรับ Windows

ดาวน์โหลดแอป LogicCalculus Windows ฟรีเพื่อรันออนไลน์ win Wine ใน Ubuntu ออนไลน์, Fedora ออนไลน์หรือ Debian ออนไลน์

นี่คือแอป Windows ชื่อ LogicCalculus ซึ่งสามารถดาวน์โหลดรุ่นล่าสุดเป็น LogicCalculus_1.1.1.exe สามารถเรียกใช้ออนไลน์ใน OnWorks ผู้ให้บริการโฮสต์ฟรีสำหรับเวิร์กสเตชัน

ดาวน์โหลดและเรียกใช้แอปนี้ทางออนไลน์ที่ชื่อว่า LogicCalculus พร้อม 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

LogicCalculus เป็น IDE ตรรกะสำหรับตรรกะประโยคและตรรกะเพรดิเคต ปัจจุบันสามารถประเมินนิพจน์และเติมตารางความจริงได้



คุณสมบัติ

  • ตรรกะที่มีความหมาย [เสร็จสิ้น]
  • เพรดิเคตลอจิก [วางแผน]
  • ตารางความจริง [เสร็จสิ้น]
  • Junktors ของตัวเอง [วางแผน]
  • Quantors [วางแผน]


ผู้ชม

วิทยาศาสตร์/การวิจัย การศึกษา ผู้ใช้ขั้นสูง แยกตามคลาสผู้ใช้ปลายทาง ผู้ใช้ปลายทาง/เดสก์ท็อป


ส่วนติดต่อผู้ใช้

ระบบ X Window (X11), Win32 (MS Windows), Qt


ภาษาโปรแกรม

C + +


สภาพแวดล้อมฐานข้อมูล

แบบ XML



หมวดหมู่

การสร้างภาพ, คณิตศาสตร์, การศึกษา

นี่คือแอปพลิเคชันที่สามารถดึงข้อมูลจาก https://sourceforge.net/projects/logiccalculus/ มีการโฮสต์ใน OnWorks เพื่อให้ทำงานออนไลน์ในวิธีที่ง่ายที่สุดจากหนึ่งในระบบปฏิบัติการฟรีของเรา


เซิร์ฟเวอร์และเวิร์กสเตชันฟรี

ดาวน์โหลดแอพ Windows & Linux

คำสั่ง Linux

Ad