هذا هو تطبيق Linux المسمى SPINdle والذي يمكن تنزيل أحدث إصدار له باسم spindle_all__2.2.4.zip. يمكن تشغيله عبر الإنترنت في مزود الاستضافة المجاني OnWorks لمحطات العمل.
قم بتنزيل وتشغيل هذا التطبيق المسمى SPINdle مع OnWorks عبر الإنترنت مجانًا.
اتبع هذه التعليمات لتشغيل هذا التطبيق:
- 1. قم بتنزيل هذا التطبيق على جهاز الكمبيوتر الخاص بك.
- 2. أدخل في مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX باسم المستخدم الذي تريده.
- 3. تحميل هذا التطبيق في هذا الملف.
- 4. ابدأ تشغيل OnWorks Linux عبر الإنترنت أو محاكي Windows عبر الإنترنت أو محاكي MACOS عبر الإنترنت من هذا الموقع.
- 5. من نظام تشغيل OnWorks Linux الذي بدأته للتو ، انتقل إلى مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX مع اسم المستخدم الذي تريده.
- 6. قم بتنزيل التطبيق وتثبيته وتشغيله.
SCREENSHOTS
Ad
مغزل
الوصف
SPINdle هو سبب منطقي يمكن استخدامه لحساب نتيجة نظريات المنطق القابلة للتنفيذ بطريقة فعالة. يغطي التنفيذ الحالي كلا من المنطق الأساسي غير القابل للتنفيذ والمنطق الوسيط غير القابل للتنفيذ.
شرح المميزات:
- يدعم جميع أنواع القواعد المنطقية القابلة للتنفيذ ، مثل الحقائق ، والقواعد الصارمة ، والقواعد غير القابلة للتنفيذ ، والمعارضين ، والتفوق.
- يدعم المنطق غير القابل للتنفيذ مع تحويلات المشغل المشروطة.
- يدعم النفي والحرفية المتضاربة (المتعارضة).
- يمكن تمثيل النظرية القابلة للتنفيذ باستخدام XML والنص العادي (مع بناء جملة محدد مسبقًا) ، ويمكن أيضًا تصدير النظرية وامتدادها باستخدام XML.
- تم تطوير محرر النظرية المرئية لتحرير نظرية المنطق المعيارية القابلة للتنفيذ. (يرجى الرجوع إلى منزل المشروع للحصول على التفاصيل.)
لغة البرمجة
جافا
التصنيفات
هذا تطبيق يمكن جلبه أيضًا من https://sourceforge.net/projects/spindlereasoner/. تمت استضافته في OnWorks ليتم تشغيله عبر الإنترنت بأسهل طريقة من أحد أنظمتنا التشغيلية المجانية.