هذا هو تطبيق Linux المسمى CTL-RP والذي يمكن تنزيل أحدث إصدار له كـ ctlrp21_sourceforge.zip. يمكن تشغيله عبر الإنترنت في مزود الاستضافة المجاني OnWorks لمحطات العمل.
قم بتنزيل وتشغيل هذا التطبيق المسمى CTL-RP عبر الإنترنت مجانًا.
اتبع هذه التعليمات لتشغيل هذا التطبيق:
- 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. قم بتنزيل التطبيق وتثبيته وتشغيله.
CTL-RP
Ad
الوصف
CTL-RP هي اختصار لـ "مُثبِّت دقة منطق شجرة الحساب". منطق شجرة الحساب (CTL) هو منطق زمني متفرع. CTL-RP هو مبرهن قائم على الدقة لـ CTL ، والذي يستخدم مبرهنة نظرية من الدرجة الأولى ، SPASS ، كمحرك أساسي للاستدلال.
يرجى الاطلاع على الرابط التالي لمزيد من التفاصيل.
http://cueb.science/web/software/ (إذا كنت داخل الصين.)
http://ctlrp.sourceforge.net (إذا لم تكن داخل الصين.)
الجمهور
بحث علمي
واجهة المستخدم
سطر الأوامر
لغة البرمجة
C
التصنيفات
هذا تطبيق يمكن جلبه أيضًا من https://sourceforge.net/projects/ctlrp/. تمت استضافته في OnWorks ليتم تشغيله عبر الإنترنت بأسهل طريقة من أحد أنظمتنا التشغيلية المجانية.
