זוהי אפליקציית הלינוקס בשם Hilbert II - QEDEQ אשר את המהדורה האחרונה שלה ניתן להוריד כ-qedeq_0.04.07_win.zip. ניתן להפעיל אותו באופן מקוון בספק האירוח החינמי OnWorks עבור תחנות עבודה.
הורד והפעל באינטרנט את האפליקציה הזו בשם Hilbert II - QEDEQ עם 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. הורד את האפליקציה, התקן אותה והפעל אותה.
צילומי מסך:
Hilbert II - QEDEQ
תיאור:
במסורת התוכנית של הילברט אנו יוצרים בסיס ידע מתמטי נכון פורמלי (ניתן לבדיקה על ידי מאמת הוכחה) אך קריא (כמו ספר לימוד רגיל של LaTeX) אשר נגיש באופן חופשי באינטרנט. לוגיקה ותורת הקבוצות התחילה.
תכונות
- QEDEQ
קהל
מפתחים, חינוך, משתמשי קצה/דסקטופ, קהל אחר, מדע/מחקר
ממשק משתמש
שורת פקודה, Gnome, Java Swing, Win32 (MS Windows), Windows Aero, X Window System (X11)
שפת תכנות
Java
כל הקטגוריות
זוהי אפליקציה שניתן להביא גם מ-https://sourceforge.net/projects/pmii/. זה התארח ב-OnWorks על מנת להפעיל אותו באינטרנט בצורה הקלה ביותר מאחת ממערכות ההפעלה החינמיות שלנו.