כתיב פולני
מתוך ויקיפדיה, האנציקלופדיה החופשית
כתיב פולני הוא שיטה לכתיבת נוסחאות מתמטיות ולהצרנת ביטויים לוגיים. השיטה פותחה על ידי הלוגיקן הפולני יאן לוקשייביץ בשנת 1920. הקושי של דוברי אנגלית לבטא שמות פולניים גרם לכך שלשיטה ניתן השם "כתיב פולני".
שיטה זו באה לפתור מספר חסרונות של שיטת הכתיב המערבית:
- הצורך להגדיר סדר פעולות.
- השימוש המסורבל בסוגריים.
- הצורך בהליך פענוח מסובך כדי למצוא את הפונקציה שיש לחשב ראשונה.
העיקרון המנחה של הכתיב הפולני הוא כתיבת הפונקציה (האופרטור) לפני האיברים שעליהם היא פועלת, כאשר מספר האיברים של כל פונקציה ידוע מראש. למשל, במקום לכתוב נכתוב בכתיב הפולני .
[עריכה] דוגמאות
- במקום לכתוב את הנוסחה המתמטית:
- נכתוב בכתיב הפולני: (כאשר הסימן מסמן העלאה בחזקה.)
- במקום לכתוב את הביטוי הלוגי:
- נכתוב בכתיב הפולני: (כאשר הסימן מסמן "וגם".)
[עריכה] לקריאה נוספת
אברון פולקוב, לוגיקה לחושבים ולמחשבים, הוצאת אקדמון, 1973.