در IsaMorph یک دیسک زنده لینوکس (بر اساس Morphix) شامل ثابت قضیه تعاملی ایزابل است.
این به این معنی، شما می توانید از CD بوت کنید و یک "اثبات قضیه" محیط زیست به طور کامل عملیاتی بدون نصب گنو / لینوکس و یا ایزابل. فقط CD درج در کامپیوتر شما و پنج دقیقه بعد اولین قضیه خود را اثبات رسیده است.
همه برنامه های در IsaMorph توزیع نرم افزار آزاد هستند. این به این معنی است که سیستم عامل و برنامه های کاربردی موجود در این سی دی را می توان آزادانه کپی، ویرایش و توزیع شده است. پس لطفا در صورت تمایل به را کپی به دوستان یا همکاران خود.
قرار دادن CD را در درایو CD در کامپیوتر سازگار اینتل و یا لپ تاپ. حالا کامپیوتر را راه اندازی مجدد. اطمینان حاصل شود که بوت اول سیستم CD است. برای این کار، شما ممکن است مجبور به تغییر تنظیمات BIOS کامپیوتر شما.
اگر شما با آن آشنا نیست، خلاص از مدیر سیستم و یا کسی که می داند چگونه آن را انجام شما کمک کند. به عنوان کامپیوتر شروع می شود بوت شدن، آن را برای یک سی دی در درایو را جستجو کنید. منو بعد از مدتی ظاهر خواهد شد.
فقط دکمه را وارد کنید کلید و یا منتظر برای برخی از زمان. کامپیوتر برای بوت شدن از سی دی و امیدوارم، شما یک صفحه نمایش گرافیکی شبیه به آنچه شما با آن آشنا هستند را ادامه خواهد داد. شما می توانید در منوی بالا سمت چپ کلیک کنید و شروع به برنامه های کاربردی.
IsaMorph شامل یک محیط ایزابل به طور کامل کار حمایت از اثبات و سند نسل، این شامل:
ایزابل (نسخه 2005)
ثابت قضیه تعاملی ایزابل سال 2005 با حداقل منطق زیر وارد در: HOL، HOL-مجتمع، ZF، FOL و خالص. بنابراین، پس از بوت شدن IsaMorph شما می توانید فورا قضایای اثبات در هر یک از این منطق. CD شامل یک نسخه آنلاین از آموزش ایزابل و مستندات نظریه.
HOL-TestGen (نسخه 1.1.1)
ژنراتور مورد آزمون برای تست واحد مشخصات است. این است که در بالای specfication و قضیه اثبات محیط زیست ایزابل / HOL ساخته شده است.
عمومی اثبات (نسخه 3.6pre)
یک رابط کاربر قدرتمند برای ایزابل.
SML نیوجرسی (نسخه 110.56)
استاندارد ML محیط زیست برای تدوین و اجرای ایزابل استفاده می شود.
GNU ایمکس (نسخه 22.0.50)
ویرایشگر GNU Emacs را که ایجاد همراه با اثبات کلی رابط کاربر اصلی ایزابل.
teTeX (نسخه 2.0.2)
محیط زیست لیتک کامل مورد استفاده برای تولید اسناد اثبات است.
برنامه های کاربردی دیگر
علاوه بر این، CD نیز حاوی انواع برنامه های کاربردی برای استفاده مشترک. این شامل یک کاربر پسند دسکتاپ (گنوم) یک مرورگر اینترنت (موزیلا)، و غیره. فقط نگاهی به منو را برای پیدا کردن بسیاری دیگر. من سعی کردم به حداقل رساندن تعداد غیر از نرم افزار خاص ایزابل برای به حداقل رساندن حجم دانلود.
چه جدید در این نسخه:
نظر یافت نشد