IsaMorph เป็นลินุกซ์กระจายสดซีดี (ขึ้นอยู่กับ Morphix) นำแสดงทฤษฎีบทโต้ตอบ Prover อิสซาเบล
ซึ่งหมายความว่าคุณสามารถบูตจากซีดีและได้รับการดำเนินการอย่างเต็มที่ "ทฤษฎีบทพิสูจน์" สภาพแวดล้อมที่ไม่ต้องติดตั้ง GNU / Linux หรืออิสซาเบล เพียงแค่ใส่แผ่นซีดีในคอมพิวเตอร์ของคุณและได้ห้านาทีต่อมาทฤษฎีบทครั้งแรกของคุณได้รับการพิสูจน์
โปรแกรมทั้งหมดกระจายภายใน IsaMorph เป็นซอฟต์แวร์ฟรี ซึ่งหมายความว่าระบบปฏิบัติการและโปรแกรมที่มีอยู่ในแผ่นซีดีนี้สามารถคัดลอกได้อย่างอิสระ, การแก้ไขและการกระจาย ดังนั้นโปรดอย่าลังเลที่จะให้สำเนาไปยังเพื่อนหรือเพื่อนร่วมงานของคุณ
ใส่แผ่นซีดีในไดรฟ์ซีดีบนเครื่องคอมพิวเตอร์ที่รองรับ Intel หรือแล็ปท็อป ตอนนี้รีบูตเครื่องคอมพิวเตอร์ ตรวจสอบให้แน่ใจว่าอุปกรณ์การบูตแรกคือแผ่นซีดี สำหรับนี้คุณอาจต้องเปลี่ยนการตั้งค่า BIOS ของเครื่องคอมพิวเตอร์ของคุณ
หากคุณไม่คุ้นเคยกับมันได้รับความช่วยเหลือจากผู้ดูแลระบบของคุณหรือคนที่รู้วิธีที่จะทำมัน ขณะที่คอมพิวเตอร์เริ่มบูตมันจะค้นหาแผ่นซีดีในไดรฟ์ เมนูจะปรากฏขึ้นหลังจากที่บางเวลา
เพียงแค่กดปุ่ม Enter หรือรอเวลา คอมพิวเตอร์จะยังคงที่จะบูตจากแผ่นซีดีและหวังว่าให้คุณหน้าจอกราฟิกที่เหมือนกันกับสิ่งที่คุณมีความคุ้นเคยกับ คุณสามารถคลิกที่เมนูที่ด้านบนซ้ายและเริ่มต้นการใช้งาน
IsaMorph มีสภาพแวดล้อมการทำงานอิสซาเบลสนับสนุนอย่างเต็มที่พิสูจน์และสร้างเอกสารนี้รวมถึง:
อิสซาเบล (รุ่น 2005)
ทฤษฎีบทโต้ตอบ Prover อิสซาเบลปี 2005 ด้วยอย่างน้อยดังต่อไปนี้ logics รวบรวมใน: HOL, HOL-Complex, ZF, FOL และบริสุทธิ์ ดังนั้นหลังจากบูต IsaMorph ทันทีที่คุณสามารถพิสูจน์ทฤษฎีบทในใด ๆ ของ logics เหล่านี้ ซีดีรวมถึงรุ่นออฟไลน์ของบทเรียนอิสซาเบลและเอกสารทฤษฎี
HOL-TestGen (เวอร์ชั่น 1.1.1)
เครื่องกำเนิดไฟฟ้าสำหรับกรณีทดสอบตามข้อกำหนดการทดสอบหน่วย มันถูกสร้างขึ้นที่ด้านบนของสรรและพิสูจน์ทฤษฎีบทสภาพแวดล้อมอิสซาเบล / HOL
หลักฐานทั่วไป (รุ่น 3.6pre)
ส่วนติดต่อผู้ใช้ที่มีประสิทธิภาพสำหรับอิสซาเบล
SML ของรัฐนิวเจอร์ซีย์ (รุ่น 110.56)
ML มาตรฐานสิ่งแวดล้อมที่ใช้สำหรับการรวบรวมและการดำเนินอิสซาเบล
GNU Emacs (เวอร์ชั่น 22.0.50)
บรรณาธิการ GNU Emacs ซึ่งสร้างด้วยกันกับนายพลหลักฐานส่วนติดต่อผู้ใช้หลักของอิสซาเบล
teTeX (เวอร์ชั่น 2.0.2)
สภาพแวดล้อมที่สมบูรณ์น้ำยางที่ใช้สำหรับการสร้างเอกสารหลักฐาน
การประยุกต์ใช้งานอื่น ๆ
นอกจากนี้ยังมีซีดีนอกจากนี้ยังมีความหลากหลายของการใช้งานสำหรับการใช้งานทั่วไป ซึ่งจะรวมถึงสก์ท็อปที่ใช้งานง่าย (คำสอน) อินเทอร์เน็ตเบราเซอร์ (Mozilla) และอื่น ๆ เพียงแค่ดูที่เมนูเพื่อหาอื่น ๆ อีกมากมาย ผมพยายามที่จะลดจำนวนของซอฟต์แวร์เฉพาะที่ไม่ใช่อิสซาเบลเพื่อลดขนาดการดาวน์โหลด
มีอะไรใหม่ในรุ่นนี้:
ความคิดเห็นที่ไม่พบ