הצגת המקור של הדף "כתיב פולני"

{{פירוש נוסף|אחר=כתיב של השפה הפולנית|ראו=פולנית}}
'''כתיב פולני''', המכונה גם כתיב תחילי-prefix, הוא שיטה לכתיבת [[ביטוי (מתמטיקה)|ביטויים]] [[מתמטיקה|מתמטיים]] ולהצרנת ביטויים לוגיים. השיטה פותחה על ידי ה[[לוגיקן]] [[פולנים|הפולני]] [[יאן לוקשביץ']] {{אנ|Jan Łukasiewicz}} בשנת [[1920]].

שיטה זו באה לפצות על מספר חסרונות של שיטת הכתיב הנפוצה:
* הצורך להגדיר כללי [[קדימות אופרטורים]] (כלומר סדר ביצוע הפעולות).
* השימוש המסורבל ב[[סוגריים]].
* הצורך בהליך פענוח מסובך כדי למצוא את ה[[פונקציה]] שיש לחשב ראשונה.

העיקרון המנחה של הכתיב הפולני הוא כתיבת הפונקציה (ה[[אופרטור]]) '''לפני''' (או אחרי, ב[[כתיב פולני הפוך]] המכונה גם כתיב סופי – postfix) האיברים שעליהם היא פועלת, כאשר מספר האיברים של כל פונקציה ידוע מראש. למשל, במקום לכתוב <math>2+3</math> נכתוב בכתיב הפולני <math>+2,3</math>.

שיטה זו איננה בשימוש בלוגיקה כיום, אך בשל העובדה שקל לנתח ביטוי בכתיב פולני באמצעות מחשב, נעשה בה שימוש במספר [[שפות תכנות]], בעיקר ב[[שפות מבוססות מחסנית|שפות תכנות מבוססות מחסנית]] כמו [[bc (שפת תכנות)#היסטוריה|dc]]{{כ}} (desk calculator) ב[[יוניקס]], או [[פוסטסקריפט]].

== דוגמאות ==
* במקום לכתוב את הביטוי: <math>4 \sdot (5+7)^{(1+1)}</math>
:נכתוב בכתיב הפולני: <math>\ \sdot 4 \wedge + 5, 7 + 1, 1</math> (הסימן <math>\wedge</math> מסמן [[העלאה בחזקה]]).
* במקום לכתוב את הביטוי הלוגי: <math>(p \, \vee \mathord{\sim} q) \wedge r</math>
:נכתוב בכתיב הפולני: <math>\wedge \vee p \sim q,r </math> (הסימן <math>\ \wedge</math> מסמן "[[וגם]]").

== לקריאה נוספת ==
אברון פולקוב, '''לוגיקה לחושבים ולמחשבים''', הוצאת [[אקדמון]], 1973.

==קישורים חיצוניים==
{{ויקישיתוף בשורה}}

{{קצרמר|מתמטיקה}}

[[קטגוריה:סימנים מתמטיים]]