IsaMorph هو لايف CD توزيع لينكس (على أساس Morphix) وشارك فيها نظرية المبرهن التفاعلية إيزابيل.
وهذا يعني، يمكنك التمهيد من القرص المضغوط والحصول على التشغيل الكامل "نظرية إثبات" بيئة دون تثبيت جنو / لينكس أو إيزابيل. فقط ضع CD في جهاز الكمبيوتر الخاص بك ويكون بعد خمس دقائق نظرية الأولى التي أثبتت جدواها.
جميع البرامج الموزعة داخل IsaMorph هي البرمجيات الحرة. وهذا يعني أن نظام التشغيل والتطبيقات الواردة في هذا CD يمكن نسخها بحرية وتوزيعه وتعديله. لذا لا تتردد في تقديم نسخ إلى أصدقائك أو زملائك.
أدخل القرص المضغوط في محرك الأقراص المضغوطة على جهاز كمبيوتر متوافق إنتل أو الكمبيوتر المحمول. الآن إعادة تشغيل الكمبيوتر. تأكد من أن الجهاز التمهيد الأول هو CD. لهذا، قد تضطر إلى تغيير إعدادات BIOS لجهاز الكمبيوتر الخاص بك.
إذا لم تكن على دراية به، والحصول على مساعدة من مسؤول النظام أو شخص يعرف كيفية القيام بذلك. كما يبدأ الكمبيوتر تمهيد، فإنه سيتم البحث عن قرص مضغوط في محرك الأقراص. ستظهر قائمة بعد مرور بعض الوقت.
فقط اضغط على مفتاح Enter أو الانتظار لبعض الوقت. وسوف تستمر الكمبيوتر للتمهيد من القرص المضغوط، ونأمل، تعطيك شاشة رسومية مماثلة لما كنت معتادا. يمكنك النقر على القائمة في أعلى يسار وبدء تشغيل التطبيقات.
يحتوي IsaMorph بيئة إيزابيل العمل بشكل كامل دعم إثبات وثيقة جيل، وهذا يشمل:
إيزابيل (نسخة 2005)
نظرية المبرهن التفاعلية إيزابيل 2005 مع ما لا يقل عن المنطق التالية التي جمعت في: HOL، HOL-مجمع، ZF، ااا، ونقية. وهكذا، بعد تمهيد IsaMorph يمكنك إثبات النظريات على الفور في أي من هذه المنطق. يشمل CD نسخة حاليا من الدروس إيزابيل وثائق النظرية.
HOL-TestGen (الإصدار 1.1.1)
مولد حالة اختبار لمواصفات يستند اختبار وحدة. هو مبني على رأس specfication ونظرية إثبات البيئة إيزابيل / HOL.
والدليل العام (الإصدار 3.6pre)
واجهة مستخدم قوية لإيزابيل.
SML نيو جيرسي (الإصدار 110.56)
استخدام ML البيئة القياسية لتجميع وتنفيذ إيزابيل.
جنو إيماكس (الإصدار 22.0.50)
محرر جنو إيماكس الذي يبني جنبا إلى جنب مع الدليل عامة واجهة المستخدم الرئيسية للإيزابيل.
teTeX (الإصدار 2.0.2)
بيئة اللاتكس الكاملة المستخدمة لتوليد وثائق الإثبات.
تطبيقات أخرى
بالإضافة إلى ذلك، يحتوي على CD أيضا مجموعة متنوعة من التطبيقات لاستخدام المشترك. وهو يشتمل على سطح المكتب سهل الاستعمال (غنوم) مستعرض إنترنت (موزيلا)، وهلم جرا. مجرد إلقاء نظرة على القائمة لمعرفة المزيد. حاولت أن تقلل من عدد من برامج معينة غير إيزابيل لتقليل حجم التنزيل.
ما هو الجديد في هذا الإصدار:
لم يتم العثور على التعليقات