Principia Mathematica II. أداة المنطق المسند مبنية في جافا
التحميل الان

Principia Mathematica II. الترتيب والملخص

Principia Mathematica II. العلامات

منطق فاعل

Principia Mathematica II. وصف

تم تصميم Principia Mathematica II كأداة مساعدة بسيطة ومفيدة قادرة على منطق الطلب الأول وتظهر الميزات الرئيسية ووظائف Hilbert II. تقدم Principia Mathematica II أساس المنطق لهذا المشروع. يعمل مع ملفات وحدة النمط (النموذج الأولي) الموجودة في أي مكان في الإنترنت. يتم استخدام البروتوكولات HTTP و FTP، كما يمكن تحديد الملفات المحلية أيضا. بعد إدخال عنوان URL لنمط QEEDQ يتم البحث في ملف المخزن المؤقت للملفات المحلية. إذا لم يتم العثور على ملف QEEDEQ المطلوب، يتم تشغيل تنزيل الملف المحدد بواسطة عنوان URL ويتم حفظ النتيجة في المخزن المؤقت للملف المحلي. بعد ذلك يتم تحميل وحدة qedeq وتحقق من صحة رسمية. إذا تمت الإشارة إلى وحدات QEEDEQ الأخرى، فسيتم تحميلها أيضا. ليس حتى يتم تحميل وحدات xedeq اللازمة بنجاح وتحقق من وحدة QEEDEQ المحددة في الأصل تحصل عليها "نقطة تصحيح الأخضر". في حالة وجود خطأ يتم تقديم وصف تفصيلي للمشكلة ويتم عرض الموضع الإشكالي في الوحدة النمطية المقابلة.

Principia Mathematica II. برامج ذات صلة