هذا هو تطبيق Linux المسمى Hilbert II - QEDEQ والذي يمكن تنزيل أحدث إصدار له باسم qedeq_0.04.07_win.zip. يمكن تشغيله عبر الإنترنت في مزود الاستضافة المجاني OnWorks لمحطات العمل.
قم بتنزيل وتشغيل هذا التطبيق المسمى Hilbert II - QEDEQ عبر الإنترنت مجانًا.
اتبع هذه التعليمات لتشغيل هذا التطبيق:
- 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. قم بتنزيل التطبيق وتثبيته وتشغيله.
SCREENSHOTS
Ad
هلبرت الثاني - QEDEQ
الوصف
في تقليد برنامج هيلبرت ، نقوم بإنشاء قاعدة معرفة رياضية صحيحة (يمكن التحقق منها بواسطة مدقق إثبات) ولكن يمكن قراءتها (مثل كتاب LaTeX العادي) والتي يمكن الوصول إليها مجانًا عبر الإنترنت. بدأت نظرية المنطق والمجموعة.
المميزات
- QEDEQ
الجمهور
المطورون ، التعليم ، المستخدمون النهائيون / أجهزة الكمبيوتر المكتبية ، الجمهور الآخر ، العلم / البحث
واجهة المستخدم
سطر الأوامر ، Gnome ، Java Swing ، Win32 (MS Windows) ، Windows Aero ، X Window System (X11)
لغة البرمجة
جافا
الفئات
هذا تطبيق يمكن جلبه أيضًا من https://sourceforge.net/projects/pmii/. تمت استضافته في OnWorks ليتم تشغيله عبر الإنترنت بأسهل طريقة من أحد أنظمتنا التشغيلية المجانية.
