| المنطق المقطوع المنطق المعالج هو مبذر Prover لمنطق من الدرجة الأولى بالمساواة. |
التحميل الان |
المنطق المقطوع الترتيب والملخص
- اسم الناشر:
- Lorenzo Castelli
- موقع ويب الناشر:
- http://lcastelli.googlepages.com/cryptolib
المنطق المقطوع العلامات
المنطق المقطوع وصف
Logic Meuterer هو Theorem Simover لمنطق الدرجة الأولى بالمساواة. برنامج Logic Meecher هو مبذر Simover منطق من الدرجة الأولى بالمساواة. كان الهدف الرئيسي الذي يؤدي تطوير المجلوم المنطقي هو إنشاء بنية مرنة: على وجه الخصوص تم تصميم البرنامج باعتباره بنية تحتية عامة لإثبات نظرية، أي أشكال الأساس لجمع من تقنيات إثبات محددة. يمكن دمج هذه التقنيات بسهولة أو استبدالها بإنشاء تكوينات مع خصائص مختلفة. التقنيات الرئيسية التي يتم تنفيذها حاليا هي: تمثيل الصيغة باستخدام النفايات والكرات المشتركة تماما. حساب التفاضل والتكامل بناء على القرار المطلوب مع الاختيار والاسترجيب. الطلب. تبسيط مثل الاستشمال، ودق الدقة الفرعية، وما إلى ذلك. الفهرسة بناء على أشجار التمييز المثالي ومتجهلات ميزة. 7 و cppunit.
المنطق المقطوع برامج ذات صلة