Lurch לייט עבור לינוקס

תוכנה להוראה ולמידה מתמטית הוכחות מתמטיות.
הורד עכשיו

Lurch לייט עבור לינוקס דירוג וסיכום

פרסומת

  • Rating:
  • רישיון:
  • GPL
  • שם המפרסם:
  • Ken Monks
  • אתר האינטרנט של המוציא לאור:
  • מערכות הפעלה:
  • Linux
  • גודל הקובץ:
  • 18KB

Lurch לייט עבור לינוקס תגים


Lurch לייט עבור לינוקס תיאור

תוכנה להוראה ולמידה מתמטיות הוכחות שבהן רוב התוכנה המתמטית הוכחה מתרכזת לוגיקה פורמלית (או כמה אזור המומחיות האחרות של המתמטיקה), lurch שואפת להיות ממש כללי מטרה, עם ממשק משתמש attracitve. תכונות מצב מעבד תמלילים מסוג TEX פונקציונלי עם כמה באגים ידועים בנוי על OpenMath עבור סמנטיקה חד משמעית נעשה ביסודיות נבדק מנוע JavaScript עבור התאמה אישית של אימות נעשה ביסודיות נבדק כמה נושאים במתמטיקה מובנית רק כמה, מגיע יותר משתמשים יכולים להוסיף נושאי מתמטיקה חדשים


Lurch לייט עבור לינוקס תוכנה קשורה

לינוקס

זה יישום מבוסס אינטרנט במקור המאפשרים למורים ליצור בדיקות. ...

9 31.23MB

הורד