נול

לוגיקה סבירה לשימושך
הורד עכשיו

נול דירוג וסיכום

פרסומת

  • Rating:
  • רישיון:
  • Mozilla Public License
  • שם המפרסם:
  • Geoffrey Longman
  • מערכות הפעלה:
  • Windows All
  • גודל הקובץ:
  • 10 MB

נול תגים


נול תיאור

יישום ציר נוצר על מנת להיות הלוגיקה סביבה כי ניתן להשתמש כדי לחשב את התוצאה של תיאוריות ההיגיון המתבונן באופן יעיל. התוכנית מכסה הן את ההיגיון הבסיסי ההיגיון ואת ההיגיון המתבונן modal. זה יכול לשמש תורת העצמאי Prover או כמנוע חשיבה מוטבע. תכונות עיקריות: תומך בכל סוגי הכללים של ההיגיון המתבונן, כגון כללים קפדניים, כללים מתבוננים, התבנים והעליונות. תומך לוגיקה מתונה מודאלית עם המרות מפעיל מודאלי. תומך בסילוקה וסותרים (בלעדיים הדדיים). תיאוריה defreible יכול להיות מיוצג באמצעות XML וטקסט רגיל (עם תחביר מוגדר מראש), ותיאוריה התוסף שלה ניתן גם לייצא באמצעות XML. עורך תיאוריה חזותית פותחה עבור עריכת תיאוריית לוגיקה מתבוננת.


נול תוכנה קשורה

עלינו