מקלדת ווירטואלית ללוגיקה. 434125
שלום.
תהיתי האם מישהו מכיר מקלדת ווירטואלית שמיועדת להקלדת סימנים מהלוגיקה הפורמלית? משהו שבאמצעותו אני אוכל להכין שעורי בית על המחשב, מבלי לחשוף אנשים חפים מפשע לכתב היד שלי.
מקלדת ווירטואלית ללוגיקה. 434156
כלי בסיסי ש"מתלבש" על וורד ומאפשר לכתוב בו סימונים מתמטיים הוא Mathtype.

יש גם מעבד תמלילים (שאינו תואם את פורמט Word, אבל מסוגל לייצר קבצי PDF) בשם LyX שמאפשר לכתוב מתמטיקה בצורה נוחה עוד יותר, אבל הוא שונה למדי מ-Word ולוקח זמן להתרגל.
מקלדת ווירטואלית ללוגיקה. 434165
הגרסא של LYX שאני עובד איתה מתיימרת לתמוך בHTML וב WORD HTML אבל היא דורשת ממני קובץ htlatex.bat שאינו בנמצא אצלי.
מקלדת ווירטואלית ללוגיקה. 434168
תודה רבה. אנסה את האפשרות הראשונה.
מקלדת ווירטואלית ללוגיקה. 434166
אגב, אולי ההצעות שלי הן Overkill. אפשר למצוא את כל הסימנים הבסיסיים של הלוגיקה בתוך Word (בתוך תפריט Add Symbol או משהו כזה) ולא צריך שום תוספת בשביל זה. מה שכן, זה עדיין פחות נוח.
מקלדת ווירטואלית ללוגיקה. 434167
ואפשר גם לכתוב קובץ לטך פשוט.
מקלדת ווירטואלית ללוגיקה. 434185
לטעמי זו המסובכת מבין האפשרויות.
מקלדת ווירטואלית ללוגיקה. 434175
אולי אחת המקלדות של יובל תתאים לך. אם לא, נסה לבקש ממנו להוסיף עבורך את הסימנים הרלוונטיים.


חזרה לעמוד הראשי המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים