זוהי אפליקציית לינוקס בשם Logic Lab אשר את המהדורה האחרונה שלה ניתן להוריד כ-upd.zip. ניתן להפעיל אותו באופן מקוון בספק האירוח החינמי OnWorks עבור תחנות עבודה.
הורד והפעל באינטרנט את האפליקציה הזו בשם Logic Lab עם 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. הורד את האפליקציה, התקן אותה והפעל אותה.
בצילומי מסך
Ad
מעבדת לוגיקה
תיאור
זוהי חבילה של ממשק פותרי תוכנה מתמטיים ב-DLV ופותרי שורת פקודה אחרים. זה עוזר לחוקרים ולסטודנטים להבין טוב יותר את ההגדרות ההצהרתיות שלהם שפורסמו במסמכים. למשתמש יכולים להיות קישורים לעיתונים הקשורים ולתוכנה של ההגדרות המתאימות.תכונות
- לוגיקה מתמטית
- תכנות ערכת תשובות
- הצגת ידע
- הנמקה
קהל
טכנולוגיית מידע, מדע/מחקר, חינוך, מנהלי מערכות, הנדסה
ממשק משתמש
מבוסס רשת
שפת תכנות
Unix Shell, C, PHP, Yacc
זוהי אפליקציה שניתן להביא גם מ-https://sourceforge.net/projects/logic-lab/. הוא התארח ב-OnWorks על מנת להפעיל אותו באינטרנט בצורה הקלה ביותר מאחת ממערכות ההפעלה החינמיות שלנו.