مغزل الترتيب والملخص
- رخصة:
- Mozilla Public License
- اسم الناشر:
- Geoffrey Longman
- أنظمة التشغيل:
- Windows All
مغزل العلامات
مغزل وصف
تم إنشاء تطبيق Spindle من أجل أن تكون مفكل منطق يمكن استخدامه لحساب نتيجة نظريات المنطق الشديد بطريقة فعالة. يغطي البرنامج كل من المنطق الناعم الأساسي الواضح وغير قابل للتنفيذ. يمكن استخدامه باعتباره نظرية قائمة بذاته مستقل أو كمحرك من التفكير المضمن. الخصائص الرئيسية: يدعم جميع أنواع القواعد من المنطق الشديد، مثل الحقائق، والقواعد الصارمة، والقواعد الشاملة، والمحاضرين والتفوق. يدعم منطقيات مشروطية حظايا مع تحويلات مشغل مشروطة. يدعم النفي والحرفي المتعارض (الحصري المتبادل). يمكن تمثيل نظرية غير واضحة باستخدام XML والنص العادي (مع بناء جملة محددة مسبقا)، ويمكن أيضا تصدير نظرية وإرسالها باستخدام XML. تم تطوير محرر نظرية مرئي لتحرير نظرية المنطق المعيارية المعيارية.
مغزل برامج ذات صلة