هذا هو تطبيق Linux المسمى Combinatory Reduction Systems Extended والذي يمكن تنزيل أحدث إصدار له كـ crsx401.zip. يمكن تشغيله عبر الإنترنت في مزود الاستضافة المجاني OnWorks لمحطات العمل.
قم بتنزيل وتشغيل هذا التطبيق المسمى Combinatory Reduction Systems Extended with 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. قم بتنزيل التطبيق وتثبيته وتشغيله.
تمديد نظم التخفيض التوافقي
الوصف:
تنفيذ أنظمة الاختزال التوافقية (CRS) مع امتدادات تجريبية بجافا. CRS هي شكلية لإعادة الكتابة ذات الترتيب الأعلى اخترعتها JWKlop في عام 1980. لمزيد من التفاصيل ، راجع المشروع / موقع الويب.
المميزات
- إعادة كتابة المصطلح
- توليد المجمعين من المواصفات الرسمية
- ترتيب إعادة كتابة أعلى
- لامدا حساب التفاضل والتكامل
الجمهور
المستخدمون النهائيون المتقدمون ، العلوم / البحث
واجهة المستخدم
سطر الأوامر ، الكسوف
لغة البرمجة
ج ، جافا
هذا تطبيق يمكن جلبه أيضًا من https://sourceforge.net/projects/crsx/. تمت استضافته في OnWorks ليتم تشغيله عبر الإنترنت بأسهل طريقة من أحد أنظمتنا التشغيلية المجانية.