אנגליתצרפתיתספרדי

סמל OnWorks

הורדה של Logicheck עבור Windows

הורדה חינם של אפליקציית Logicheck Windows להפעלת win Wine מקוונת באובונטו מקוונת, פדורה מקוונת או דביאן באינטרנט

זוהי אפליקציית Windows בשם Logicheck שניתן להוריד את המהדורה האחרונה שלה בתור logicheck-win-2.1.6.exe. ניתן להפעיל אותו באופן מקוון בספק האירוח החינמי OnWorks עבור תחנות עבודה.

הורד והפעל באינטרנט את האפליקציה הזו בשם Logicheck עם OnWorks בחינם.

בצע את ההוראות הבאות כדי להפעיל את האפליקציה הזו:

- 1. הורד את היישום הזה למחשב שלך.

- 2. הזן במנהל הקבצים שלנו https://www.onworks.net/myfiles.php?username=XXXXX עם שם המשתמש שאתה רוצה.

- 3. העלה את היישום הזה במנהל קבצים כזה.

- 4. הפעל כל אמולטור מקוון של OS OnWorks מאתר זה, אך עדיף אמולטור מקוון של Windows.

- 5. ממערכת ההפעלה OnWorks Windows שזה עתה התחלת, עבור אל מנהל הקבצים שלנו https://www.onworks.net/myfiles.php?username=XXXXX עם שם המשתמש הרצוי.

- 6. הורד את האפליקציה והתקן אותה.

- 7. הורד את Wine ממאגרי התוכנה שלך להפצות לינוקס. לאחר ההתקנה, תוכל ללחוץ פעמיים על האפליקציה כדי להפעיל אותם עם Wine. אתה יכול גם לנסות את PlayOnLinux, ממשק מפואר מעל Wine שיעזור לך להתקין תוכניות ומשחקים פופולריים של Windows.

Wine היא דרך להפעיל תוכנת Windows על לינוקס, אך ללא צורך ב-Windows. Wine היא שכבת תאימות של Windows בקוד פתוח שיכולה להריץ תוכניות Windows ישירות על כל שולחן עבודה של לינוקס. בעיקרו של דבר, Wine מנסה להטמיע מחדש מספיק של Windows מאפס כדי שהוא יוכל להריץ את כל יישומי Windows מבלי להזדקק ל-Windows.

בצילומי מסך

Ad


Logicheck


תיאור

תוכנית זו נועדה להיות שימושית לבדיקת לוגיקה בוליאנית או לוגיקה פרופוזיציונית. הוא קובע ביטויים לוגיים עם סמלים כגון "AND" ו-"OR" בממשק משתמש גרפי. לאחר מכן ניתן ליצור טבלת אמת עבור כל סט כזה של ביטויים. זה יכול לשמש גם כדי לבדוק את תקפותם של ארגומנטים דדוקטיביים - התוכנית תייעץ אם ארגומנט תקף ואם לא, רשום את הדוגמאות הנגדיות לארגומנט.



תכונות

  • צור ביטויים לוגיים
  • הצג טבלאות אמת עבור כל ביטוי
  • בדוק את תקפותם של טיעונים דדוקטיביים


קהל

חינוך


ממשק משתמש

Qt


שפת תכנות

פיתון


כל הקטגוריות

חינוך, בדיקות

זוהי אפליקציה שניתן להביא גם מ-https://sourceforge.net/projects/logicheck/. זה התארח ב-OnWorks על מנת להפעיל אותו באינטרנט בצורה הקלה ביותר מאחת ממערכות ההפעלה החינמיות שלנו.


שרתים ותחנות עבודה בחינם

הורד אפליקציות Windows & Linux

  • 1
    unitedrpms
    unitedrpms
    הצטרפו אלינו לגיטר!
    https://gitter.im/unitedrpms-people/Lobby
    הפעל את מאגר URPMS ב-
    מערכת -
    https://github.com/UnitedRPMs/unitedrpms.github.io/bl...
    הורד unitedrpms
  • 2
    Boost C ++ ספריות
    Boost C ++ ספריות
    Boost מספק נייד בחינם
    ספריות C++ שנבדקו על ידי עמיתים. ה
    הדגש הוא על ספריות ניידות אשר
    לעבוד היטב עם הספרייה הסטנדרטית של C++.
    ראה http://www.bo...
    הורד ספריות Boost C++
  • 3
    VirtualGL
    VirtualGL
    VirtualGL מפנה מחדש פקודות תלת מימד מ-a
    יישום Unix/Linux OpenGL על a
    GPU בצד השרת וממיר את
    עיבוד של תמונות תלת מימד לזרם וידאו
    עם איזה ...
    הורד את VirtualGL
  • 4
    libusb
    libusb
    ספרייה כדי לאפשר מרחב משתמש
    תוכניות יישום לתקשורת איתן
    התקני USB. קהל: מפתחים, סוף
    משתמשים/שולחן עבודה. שפת תכנות: C.
    קטגוריות ...
    הורד את libusb
  • 5
    לְגִימָה אֲרוּכָּה
    לְגִימָה אֲרוּכָּה
    SWIG הוא כלי לפיתוח תוכנה
    שמחבר בין תוכניות הכתובות ב-C ו
    C++ עם מגוון של רמות גבוהות
    שפות תכנות. SWIG משמש עם
    שונה...
    הורד את SWIG
  • 6
    WooCommerce Nextjs React Theme
    WooCommerce Nextjs React Theme
    ערכת נושא WooCommerce של React, בנוי עם
    הבא JS, Webpack, Babel, Node ו
    אקספרס, באמצעות GraphQL ו-Apollo
    לָקוּחַ. WooCommerce Store ב-React(
    מכיל: מוצרים...
    הורד את WooCommerce Nextjs React Theme
  • עוד »

פקודות לינוקס

Ad