पोलिश संकेतन: Difference between revisions
(Created page with "{{Short description|Mathematics notation with operators preceding operands}} {{About|a prefix notation in mathematics and computer sciences|the similarly named logic|Łukasiew...") |
No edit summary |
||
(11 intermediate revisions by 4 users not shown) | |||
Line 1: | Line 1: | ||
{{Short description|Mathematics notation with operators preceding operands}} | {{Short description|Mathematics notation with operators preceding operands}}{{Operator notation sidebar |logo=[[File:Prefix-dia.svg|125px]]}} | ||
पोलिश संकेतन (पीएन), जिसे सामान्य पोलिश संकेतन (एनपीएन) के रूप में भी जाना जाता है।<ref name="Jorke_1989"/> लुकासिविक्ज़ संकेतन, वारसॉ संकेतन, पोलिश उपसर्ग संकेतन या बस उपसर्ग संकेतन, गणितीय संकेतन है जिसमें [[ऑपरेशन (गणित)|संचालन (गणित)]] उनके [[ओपेरंड]] को "पहले" करता है, अधिक सामान्य इन्फिक्स संकेतन के विपरीत, जिसमें प्रचालकों को बीच रखा जाता है। 'ऑपरेंड', साथ ही [[रिवर्स पोलिश नोटेशन|रिवर्स पोलिश संकेतन]] (आरपीएन), जिसमें प्रचालक अपने ऑपरेंड का 'अनुसरण' करते हैं। जब तक प्रत्येक प्रचालक के पास निश्चित संख्या होती है, तब तक इसे किसी भी कोष्ठक की आवश्यकता नहीं होती है। विवरण पोलिश तर्कशास्त्री जन लुकासिविक्ज़ की [[राष्ट्रीयता]] को संदर्भित करता है,<ref name="Łukasiewicz_1929"/><ref name="Łukasiewicz_1951"/><ref name="Łukasiewicz_1957"/><ref name="Kennedy_1982"/> जिन्होंने 1924 में पोलिश संकेतन का आविष्कार किया था।<ref name="Hamblin_1962"/><ref name="Ball_1978"/> | |||
{{Operator notation sidebar |logo=[[File:Prefix-dia.svg|125px]]}} | |||
पोलिश संकेतन ( | |||
पोलिश | पोलिश संकेतन शब्द को कभी-कभी (इन्फिक्स संकेतन के विपरीत) रिवर्स पोलिश संकेतन को भी सम्मिलित करने के लिए लिया जाता है।<ref name="Main_2006"/> | ||
जब पोलिश संकेतन [[प्रोग्रामिंग भाषा]] इंटरप्रेटर (कंप्यूटिंग) द्वारा गणितीय अभिव्यक्तियों के | जब पोलिश संकेतन [[प्रोग्रामिंग भाषा]] इंटरप्रेटर (कंप्यूटिंग) द्वारा गणितीय अभिव्यक्तियों के वाक्य-विन्यास के रूप में उपयोग किया जाता है, तो इसे सरलता से [[सार वाक्य रचना का पेड़|सार सिंटैक्स ट्री]] में पार्स किया जाता है और वास्तव में, उसी के लिए [[द्विभाजन|एक-से-एक प्रतिनिधित्व]] को परिभाषित कर सकता है। इस कारण से, [[लिस्प (प्रोग्रामिंग भाषा)|लिस्प (नीचे देखें)]] कार्यान्वयन और सम्बंधित प्रोग्रामिंग भाषा अपने पूरे वाक्य-विन्यास को प्रीफिक्स संकेतन में परिभाषित करते हैं (और अन्य अनुलग्न संकेतन का उपयोग करते हैं)। | ||
== इतिहास == | == इतिहास == | ||
जन लुकासिविक्ज़, निकोद की अभिगृहीत और सामान्यीकरण निगमन पर टिप्पणी, पृष्ठ 180 के पेपर का उद्धरण बताता है कि कैसे संकेतन का आविष्कार किया गया था: जन लुकासिविक्ज़ के एक पेपर का एक उद्धरण, निकोद के स्वयंसिद्ध पर टिप्पणी और "सामान्यीकरण निगमन" पर, पृष्ठ 180, बताता है कि कैसे संकेतन का आविष्कार किया गया था: | |||
<blockquote>1924 में मुझे कोष्ठक-मुक्त अंकन का विचार आया। मैंने अपने लेख | <blockquote>1924 में मुझे कोष्ठक-मुक्त अंकन का विचार आया। मैंने अपने लेख लुकासिविक्ज़(1), पृष्ठ में पहली बार उस संकेतन का उपयोग किया। 610, फुटनोट है।</blockquote> | ||
लुकासिविक्ज़ द्वारा उद्धृत संदर्भ स्पष्ट रूप से [[पोलिश भाषा]] में लिथोग्राफ की गई रिपोर्ट है। लुकासिविक्ज़ रिमार्क्स ऑन निकॉड एक्सिओम और ऑन "सामान्यीकरण निगमन" द्वारा रेफ़रिंग पेपर की समीक्षा 1965 में जर्नल ऑफ़ सिंबॉलिक तर्क में हेनरी ए. पोगोरज़ेल्स्की द्वारा की गई थी।<ref name="Pogorzelski_1965"/> 1924 में मूसा शोनफिंकेल के लेख के संपादक [[हेनरिक बेहमन]],<ref name="Mengelberg"/> तर्क सूत्रों में कोष्ठकों को हटाने का विचार पहले से ही था। लुकासिविक्ज़ ने अपने पत्र में कहा कि उनका अंकन सबसे सघन और पहला रैखिक रूप से लिखा गया कोष्ठक-मुक्त संकेतन है, लेकिन पहला नहीं जैसा कि [[Gottlob Frege|गोटलॉब फ्रेज]] ने 1879 में पहले से ही अपने कोष्ठक-मुक्त [[Begriffsschrift|बेग्रिफस्च्रिफ्ट]] संकेतन का प्रस्ताव दिया था।<ref name="Gottschall_2005" /> | |||
[[अलोंजो चर्च]] ने [[गणितीय तर्क]] पर अपनी | [[अलोंजो चर्च]] ने [[गणितीय तर्क]] पर अपनी श्रेष्ठ पुस्तक में इस संकेतन का उल्लेख किया है, जो कि [[अल्फ्रेड नॉर्थ व्हाइटहेड]] और [[बर्ट्रेंड रसेल]] की तार्किक सांकेतिक प्रदर्शनी और [[गणितीय सिद्धांत]] में काम करने के विपरीत सांकेतिक प्रणाली में टिप्पणी के योग्य है।<ref name="Church_1944"/> | ||
लुकासिविक्ज़ की 1951 की पुस्तक में, आधुनिक औपचारिक तर्क के दृष्टिकोण से अरस्तू की सिलोजिस्टिक, उन्होंने उल्लेख किया है कि उनके संकेतन का सिद्धांत कोष्ठक से बचने के लिए फलन के तर्क से पहले फलन प्रतीकों को लिखना था और उन्होंने 1929 से अपने तार्किक पत्रों में अपने अंकन को तब से नियोजित किया था।<ref name="Łukasiewicz_1951"/> इसके बाद वह उदाहरण के रूप में 1930 का पेपर जो उसने प्रस्तावित कलन पर [[अल्फ्रेड टार्स्की]] के साथ लिखा था, वह उद्धृत करता है।<ref name="Łukasiewicz_1930"/> | |||
जबकि अब तर्क में | जबकि वह अब तर्क में अधिक उपयोग नहीं किया जाता है,<ref name="Martínez_2011"/> तब से पोलिश संकेतन को [[कंप्यूटर विज्ञान]] में स्थान मिला है। | ||
== स्पष्टीकरण == | == स्पष्टीकरण == | ||
संख्या 1 और 2 को जोड़ने के लिए अभिव्यक्ति को पोलिश संकेतन में | संख्या 1 और 2 को जोड़ने के लिए अभिव्यक्ति को पोलिश संकेतन में {{nowrap|+ 1 2}} (उपसर्ग), इसके अतिरिक्त रूप में {{nowrap|1 + 2}} (इनफिक्स) लिखा गया है। अधिक जटिल अभिव्यक्तियों में, प्रचालक अभी भी अपने ऑपरेंड से पहले होते हैं, लेकिन ऑपरेंड स्वयं भी अभिव्यक्ति हो सकते हैं जिसमें फिर से प्रचालक और उनके ऑपरेंड सम्मिलित हैं। उदाहरण के लिए, अभिव्यक्ति जो पारंपरिक इंफिक्स संकेतन में लिखी जाएगी | ||
{{block indent|(5 − 6) × 7}} | {{block indent|(5 − 6) × 7}} | ||
पोलिश | पोलिश संकेतन में लिखी जा सकता है | ||
{{block indent|× (− 5 6) 7}} | {{block indent|× (− 5 6) 7}} | ||
सभी | सभी सम्मिलित प्रचालकों के दिए गए एकता को मानते हुए (यहां - घटाव के बाइनरी संचालन को दर्शाता है, चिन्ह-परिवर्तन के यूनरी फलन को नहीं), कोई भी अच्छी तरह से गठित उपसर्ग प्रतिनिधित्व स्पष्ट है, और उपसर्ग अभिव्यक्ति के अंदर कोष्ठक अनावश्यक हैं। इस प्रकार, उपरोक्त अभिव्यक्ति को और सरल बनाया जा सकता है | ||
{{block indent|× − 5 6 7}} | {{block indent|× − 5 6 7}} | ||
उत्पाद के प्रसंस्करण को तब तक के लिए टाल दिया जाता है जब तक कि इसके दो ऑपरेंड | उत्पाद के प्रसंस्करण को तब तक के लिए टाल दिया जाता है जब तक कि इसके दो ऑपरेंड (तथापि, 5 - 6, और 7) उपलब्ध नहीं हो जाते। किसी भी संकेतन के साथ, अंतरतम अभिव्यक्तियों का मूल्यांकन पहले किया जाता है, लेकिन पोलिश संकेतन में इस अंतरतम-नेस को कोष्ठकों के अतिरिक्त प्रचालकों और ऑपरेंडों के अनुक्रम द्वारा व्यक्त किया जा सकता है। | ||
पारंपरिक इन्फिक्स | पारंपरिक इन्फिक्स संकेतन में, संचालन के मानक क्रम को ओवरराइड करने के लिए कोष्ठक की आवश्यकता होती है, क्योंकि, उपरोक्त उदाहरण की बात करते हुए, उन्हें स्थानांतरित करना | ||
{{block indent|5 − (6 × 7)}} | {{block indent|5 − (6 × 7)}} | ||
या उन्हें | या उन्हें हटाना | ||
{{block indent|5 − 6 × 7}} | {{block indent|5 − 6 × 7}} | ||
अभिव्यक्ति के अर्थ और परिणाम को | अभिव्यक्ति के अर्थ और परिणाम को परिवर्तित कर देता है। यह संस्करण पोलिश संकेतन में लिखा गया है | ||
{{block indent|− 5 × 6 7.}} | {{block indent|− 5 × 6 7.}} | ||
विभाजन या घटाव जैसे गैर-कम्यूटेटिव संचालन से निपटने के | विभाजन या घटाव जैसे गैर-कम्यूटेटिव संचालन से निपटने के समय, प्रचालकों की अनुक्रमिक व्यवस्था को इस परिभाषा के साथ समन्वयित करना आवश्यक है कि प्रचालक अपने तर्कों को कैसे तथापि बाएं से दाएं लेता है। उदाहरण के लिए, {{nowrap|÷ 10 5}}, 5 के बाईं ओर 10 के साथ, 10 ÷ 5 का अर्थ (10 को 5 से विभाजित करें के रूप में पढ़ें) है, या {{nowrap|− 7 6}}, 7 बायें से 6 के साथ, 7 − 6 का अर्थ (7 ऑपरेंड 6 से घटाना के रूप में पढ़ें) है। | ||
== मूल्यांकन एल्गोरिथ्म == | == मूल्यांकन एल्गोरिथ्म == | ||
उपसर्ग/उपसर्ग संकेतन विशेष रूप से कोष्ठकों और अन्य पूर्ववर्ती नियमों की आवश्यकता के बिना संचालन के इच्छित क्रम को व्यक्त करने की अपनी सहज क्षमता के लिए लोकप्रिय है, जैसा कि | '''उपसर्ग/'''उपसर्ग संकेतन विशेष रूप से कोष्ठकों और अन्य पूर्ववर्ती नियमों की आवश्यकता के बिना संचालन के इच्छित क्रम को व्यक्त करने की अपनी सहज क्षमता के लिए लोकप्रिय है, जैसा कि सामान्यतः इन्फिक्स संकेतन के साथ नियोजित किया जाता है। इसके अतिरिक्त, संकेतन विशिष्ट रूप से किस प्रचालक को पहले मूल्यांकन करना है, यह इंगित करता है। यह माना जाता है कि प्रत्येक प्रचालक के पास निश्चित संख्या है, और सभी आवश्यक ऑपरेंड को स्पष्ट रूप से दिया गया माना जाता है। वैध उपसर्ग अभिव्यक्ति हमेशा प्रचालक के साथ प्रारंभ होती है और ऑपरेंड के साथ समाप्त होती है। मूल्यांकन या तो बाएं से दाएं या विपरीत दिशा में आगे बढ़ सकता है। बाईं ओर से प्रारंभ करते हुए, इनपुट स्ट्रिंग, जिसमें प्रचालक या ऑपरेंड को दर्शाने वाले टोकन सम्मिलित हैं, स्टैक (सार डेटा प्रकार) पर टोकन के लिए धकेल दिया जाता है, जब तक कि स्टैक की शीर्ष प्रविष्टियों में ऑपरेंड की संख्या नहीं होती है जो सबसे शीर्ष प्रचालक के लिए उपयुक्त होती है। स्टैकटॉप पर टोकन का यह समूह (अंतिम स्टैक्ड प्रचालक और ऑपरेंड की संख्या के अनुसार) इन/इस ऑपरेंड पर प्रचालक को निष्पादित करने के परिणाम से प्रतिस्थापित किया जाता है। फिर इनपुट की प्रोसेसिंग इसी तरह से चलती रहती है। मान्य उपसर्ग अभिव्यक्ति में सबसे दाहिना ऑपरेंड इस प्रकार संपूर्ण अभिव्यक्ति के मूल्यांकन के परिणाम को छोड़कर, स्टैक को खाली कर देता है। दाईं ओर से प्रारंभ करते समय, टोकन को धक्का देना समान रूप से किया जाता है, बस प्रचालक द्वारा मूल्यांकन को ट्रिगर किया जाता है, उचित संख्या में ऑपरेंड ढूंढता है जो स्टैकटॉप पर पहले से ही सही बैठता है। अब मान्य उपसर्ग अभिव्यक्ति का सबसे बायाँ टोकन प्रचालक होना चाहिए, जो स्टैक में ऑपरेंड की संख्या के अनुरूप हो, जो फिर से परिणाम देता है। जैसा कि विवरण से देखा जा सकता है, [[नियतात्मक पुशडाउन ऑटोमेटन]] पुश-डाउन भंडार जिसमें मनमानी स्टैक निरीक्षण की कोई क्षमता नहीं है, इस [[पदच्छेद]] को प्रस्तुत करने के लिए पर्याप्त है। | ||
उपरोक्त | उपरोक्त स्केच किए गए ढेर में मिरर किए गए इनपुट के साथ - रिवर्स पोलिश संकेतन में अभिव्यक्ति के लिए हेरफेर का काम करता है। | ||
== तर्क के लिए पोलिश संकेतन == | == तर्क के लिए पोलिश संकेतन == | ||
नीचे दी गई तालिका में [[वाक्यात्मक तर्क]] के लिए जन लुकासिविक्ज़ के अंकन के मूल को दिखाया गया है।<ref name="Craig_1998"/>पोलिश संकेतन तालिका में कुछ अक्षर पोलिश भाषा में विशेष शब्दों के लिए खड़े होते हैं, जैसा कि दिखाया गया है: | नीचे दी गई तालिका में [[वाक्यात्मक तर्क]] के लिए जन लुकासिविक्ज़ के अंकन के मूल को दिखाया गया है।<ref name="Craig_1998"/> पोलिश संकेतन तालिका में कुछ अक्षर पोलिश भाषा में विशेष शब्दों के लिए खड़े होते हैं, जैसा कि दिखाया गया है: | ||
{| class=wikitable | {| class=wikitable | ||
|- | |- | ||
! | !अवधारणा!!पारंपरिक | ||
अंकन | |||
!पोलिश संकेतन!!पोलिश | |||
अवधि | |||
|- | |- | ||
|- style="border-top:3px solid #999;" | |- style="border-top:3px solid #999;" | ||
|- | |- | ||
|[[Negation]]||<math>\neg\varphi</math>||<math>\mathrm N\varphi</math>||{{lang|pl|negacja}} | |[[Negation|निषेध]]||<math>\neg\varphi</math>||<math>\mathrm N\varphi</math>||{{lang|pl|negacja}} | ||
|- | |- | ||
|[[Logical conjunction| | |[[Logical conjunction|संयोजक]]||<math>\varphi\land\psi</math>||<math>\mathrm K\varphi\psi</math>||{{lang|pl|koniunkcja}} | ||
|- | |- | ||
|[[Disjunction]]||<math>\varphi\lor\psi</math>||<math>\mathrm A\varphi\psi</math>||{{lang|pl|alternatywa}} | |[[Disjunction|संयोजन]]||<math>\varphi\lor\psi</math>||<math>\mathrm A\varphi\psi</math>||{{lang|pl|alternatywa}} | ||
|- | |- | ||
|[[Exclusive disjunction]]||<math>\varphi\not\equiv\psi</math>||<math>\mathrm J\varphi\psi</math>||{{lang|pl|alternatywa rozłączna}} | |[[Exclusive disjunction|अनन्य संयोजन]]||<math>\varphi\not\equiv\psi</math>||<math>\mathrm J\varphi\psi</math>||{{lang|pl|alternatywa rozłączna}} | ||
|- | |- | ||
|[[Material conditional]]||<math>\varphi\to\psi</math>||<math>\mathrm C\varphi\psi</math>||{{lang|pl|implikacja}} | |[[Material conditional|सामग्री सशर्त]]||<math>\varphi\to\psi</math>||<math>\mathrm C\varphi\psi</math>||{{lang|pl|implikacja}} | ||
|- | |- | ||
|[[Biconditional]]||<math>\varphi\leftrightarrow\psi</math>||<math>\mathrm E\varphi\psi</math>||{{lang|pl|ekwiwalencja}} | |[[Biconditional|द्विसशर्त]]||<math>\varphi\leftrightarrow\psi</math>||<math>\mathrm E\varphi\psi</math>||{{lang|pl|ekwiwalencja}} | ||
|- | |- | ||
|[[Falsum]]||<math>\bot</math>||<math>\mathrm O</math>||{{lang|pl|fałsz}} | |[[Falsum|फाल्सम]]||<math>\bot</math>||<math>\mathrm O</math>||{{lang|pl|fałsz}} | ||
|- | |- | ||
|[[Sheffer stroke]]||<math>\varphi\mid\psi </math>||<math>\mathrm D\varphi\psi</math>||{{lang|pl|dysjunkcja}} | |[[Sheffer stroke|शेफर स्ट्रोक]]||<math>\varphi\mid\psi </math>||<math>\mathrm D\varphi\psi</math>||{{lang|pl|dysjunkcja}} | ||
|- | |- | ||
|[[Modal logic| | |[[Modal logic|संभावना]]||<math>\Diamond\varphi</math>||<math>\mathrm M\varphi</math>||{{lang|pl|możliwość}} | ||
|- | |- | ||
|[[Modal logic| | |[[Modal logic|आवश्यकता]]||<math>\Box\varphi</math>||<math>\mathrm L\varphi</math>||{{lang|pl|konieczność}} | ||
|- | |- | ||
|[[Universal quantification| | |[[Universal quantification|सार्वभौमिक परिमाणक]]||<math>\forall p\,\varphi</math>||<math>\Pi p\,\varphi</math>||{{lang|pl|kwantyfikator ogólny}} | ||
|- | |- | ||
|[[Existential quantification| | |[[Existential quantification|अस्तित्वगत परिमाणक]]||<math>\exists p\,\varphi</math>||<math>\Sigma p\,\varphi</math>||{{lang|pl|kwantyfikator szczegółowy}} | ||
|} | |} | ||
ध्यान दें कि [[परिमाणक (तर्क)]] | ध्यान दें कि [[परिमाणक (तर्क)]] कई-मूल्यवान तर्कों पर लुकासिविक्ज़ के काम में प्रस्तावित मूल्यों से अधिक है। | ||
जोज़ेफ़ मारिया | जोज़ेफ़ मारिया बोचेंस्की ने पोलिश संकेतन की प्रणाली की प्रारंभ की, जो शास्त्रीय प्रस्तावपरक तर्क के सभी 16 द्विआधारी [[तार्किक संयोजक]] का नाम है। शास्त्रीय प्रस्तावपरक तर्क के लिए, यह लुकासिविक्ज़ के अंकन का संगत विस्तार है। लेकिन संकेतन इस अर्थ में असंगत हैं कि बोचेंस्की [[मक तर्क|प्रस्तावपरक तर्क]] में L और M (गैर-निम्नीकरण और विलोम गैर-निम्नीकरण के लिए) का उपयोग करता है और लुकासिविक्ज़ मोडल तर्क में L और M का उपयोग करता है।<ref name="Bocheński_1959"/> | ||
== कार्यान्वयन == | == कार्यान्वयन == | ||
लिस्प (प्रोग्रामिंग | लिस्प (प्रोग्रामिंग भाषा) [[s-भाव|एस-भाव]] में उपसर्ग संकेतन का व्यापक अनुप्रयोग देखा गया है, जहां कोष्ठक की आवश्यकता होती है क्योंकि भाषा में प्रचालक स्वयं डेटा (प्रथम श्रेणी के कार्य) होते हैं। लिस्प फलनों [[वैराडिक फ़ंक्शन|वैराडिक फलन]] भी हो सकते हैं। [[टीसीएल]] प्रोग्रामिंग भाषा, लिस्प की तरह ही मैथोप पुस्तकालय के माध्यम से पोलिश संकेतन का उपयोग करती है। अम्बी<ref name="Ambi"/> प्रोग्रामिंग भाषा अंकगणितीय संचालन और कार्यक्रम निर्माण के लिए पोलिश संकेतन का उपयोग करती है। [[एलडीएपी]] फ़िल्टर वाक्य-विन्यास पोलिश उपसर्ग संकेतन का उपयोग करता है।<ref name="LDAPSyntax"/> | ||
अनुलग्न संकेतन का उपयोग कई [[स्टैक-उन्मुख प्रोग्रामिंग भाषा]] जैसे [[परिशिष्ट भाग]] और [[फोर्थ (प्रोग्रामिंग भाषा)]] में किया जाता है। [[कॉफीस्क्रिप्ट]] वाक्य-विन्यास भी फलन को उपसर्ग संकेतन का उपयोग करने की अनुमति देता है, जबकि अभी भी अन्य भाषाओं में यूनरी अनुलग्न वाक्य-विन्यास का समर्थन करता है। | |||
किसी | किसी अभिव्यक्ति के वापसी मूल्य की संख्या अभिव्यक्ति में ऑपरेंड की संख्या और प्रचालकों की कुल संख्या के बीच के अंतर के बराबर होती है, जो प्रचालकों के वापसी मूल्य की कुल संख्या को घटाती है। | ||
पोलिश संकेतन, | पोलिश संकेतन, सामान्यतः अनुलग्न रूप में, कुछ [[कैलकुलेटर]] विशेष रूप से [[एचपी कैलकुलेटर]] का चुना हुआ संकेतन है | हेवलेट-पैकर्ड से<ref name="RPN_HP35S" /> निचले स्तर पर, अनुलग्न प्रचालकों का उपयोग कुछ [[स्टैक मशीनें]] जैसे [[बरोज़ लार्ज सिस्टम्स|बरोज़ लार्ज प्रणालियों]] द्वारा किया जाता है। | ||
== यह भी देखें == | == यह भी देखें == | ||
{{cols|colwidth=26em}} | {{cols|colwidth=26em}} | ||
* रिवर्स पोलिश | * रिवर्स पोलिश संकेतन (आरपीएन) | ||
* [[ | * [[फलन आवेदन]] | ||
* [[लैम्ब्डा कैलकुलस]] | * [[लैम्ब्डा कैलकुलस]] | ||
* [[करी]] | * [[करी]] | ||
* लिस्प (प्रोग्रामिंग भाषा) | * लिस्प (प्रोग्रामिंग भाषा) | ||
* [[एस-अभिव्यक्ति]] | |||
* [[पोलिश स्कूल ऑफ मैथमैटिक्स]] | * [[पोलिश स्कूल ऑफ मैथमैटिक्स]] | ||
* [[हंगेरियन संकेतन]] | * [[हंगेरियन संकेतन]] | ||
* क्रिया-विषय-वस्तु ( | * क्रिया-विषय-वस्तु (वीएसओ) | ||
* क्रिया-वस्तु-विषय ( | * क्रिया-वस्तु-विषय (वीओएस) | ||
* [[सिर-दिशात्मकता पैरामीटर]] | * [[सिर-दिशात्मकता पैरामीटर]] | ||
* डब्ल्यूएफएफ 'एन प्रूफ | * डब्ल्यूएफएफ 'एन प्रूफ | ||
Line 143: | Line 142: | ||
* {{Commonscatinline|Polish notation (mathematics)}} | * {{Commonscatinline|Polish notation (mathematics)}} | ||
{{DEFAULTSORT:Polish Notation}} | {{DEFAULTSORT:Polish Notation}} | ||
[[Category:Articles containing Polish-language text|Polish Notation]] | |||
[[Category:CS1 Deutsch-language sources (de)|Polish Notation]] | |||
[[Category: | [[Category:CS1 français-language sources (fr)]] | ||
[[Category:Created On 03/02/2023]] | [[Category:CS1 location test|Polish Notation]] | ||
[[Category:CS1 polski-language sources (pl)]] | |||
[[Category:Created On 03/02/2023|Polish Notation]] | |||
[[Category:Lua-based templates|Polish Notation]] | |||
[[Category:Machine Translated Page|Polish Notation]] | |||
[[Category:Multi-column templates|Polish Notation]] | |||
[[Category:Pages that use a deprecated format of the math tags|Polish Notation]] | |||
[[Category:Pages using div col with small parameter|Polish Notation]] | |||
[[Category:Pages with script errors|Polish Notation]] | |||
[[Category:Short description with empty Wikidata description|Polish Notation]] | |||
[[Category:Templates Vigyan Ready|Polish Notation]] | |||
[[Category:Templates that add a tracking category|Polish Notation]] | |||
[[Category:Templates that generate short descriptions|Polish Notation]] | |||
[[Category:Templates using TemplateData|Polish Notation]] | |||
[[Category:Templates using under-protected Lua modules|Polish Notation]] | |||
[[Category:Wikipedia fully protected templates|Div col]] | |||
[[Category:ऑपरेटर्स (प्रोग्रामिंग)|Polish Notation]] | |||
[[Category:गणितीय अंकन|Polish Notation]] | |||
[[Category:तार्किक भाव|Polish Notation]] | |||
[[Category:पोलिश आविष्कार|Polish Notation]] | |||
[[Category:पोलैंड में विज्ञान और प्रौद्योगिकी|Polish Notation]] |
Latest revision as of 20:01, 9 February 2023
पोलिश संकेतन (पीएन), जिसे सामान्य पोलिश संकेतन (एनपीएन) के रूप में भी जाना जाता है।[1] लुकासिविक्ज़ संकेतन, वारसॉ संकेतन, पोलिश उपसर्ग संकेतन या बस उपसर्ग संकेतन, गणितीय संकेतन है जिसमें संचालन (गणित) उनके ओपेरंड को "पहले" करता है, अधिक सामान्य इन्फिक्स संकेतन के विपरीत, जिसमें प्रचालकों को बीच रखा जाता है। 'ऑपरेंड', साथ ही रिवर्स पोलिश संकेतन (आरपीएन), जिसमें प्रचालक अपने ऑपरेंड का 'अनुसरण' करते हैं। जब तक प्रत्येक प्रचालक के पास निश्चित संख्या होती है, तब तक इसे किसी भी कोष्ठक की आवश्यकता नहीं होती है। विवरण पोलिश तर्कशास्त्री जन लुकासिविक्ज़ की राष्ट्रीयता को संदर्भित करता है,[2][3][4][5] जिन्होंने 1924 में पोलिश संकेतन का आविष्कार किया था।[6][7]
पोलिश संकेतन शब्द को कभी-कभी (इन्फिक्स संकेतन के विपरीत) रिवर्स पोलिश संकेतन को भी सम्मिलित करने के लिए लिया जाता है।[8]
जब पोलिश संकेतन प्रोग्रामिंग भाषा इंटरप्रेटर (कंप्यूटिंग) द्वारा गणितीय अभिव्यक्तियों के वाक्य-विन्यास के रूप में उपयोग किया जाता है, तो इसे सरलता से सार सिंटैक्स ट्री में पार्स किया जाता है और वास्तव में, उसी के लिए एक-से-एक प्रतिनिधित्व को परिभाषित कर सकता है। इस कारण से, लिस्प (नीचे देखें) कार्यान्वयन और सम्बंधित प्रोग्रामिंग भाषा अपने पूरे वाक्य-विन्यास को प्रीफिक्स संकेतन में परिभाषित करते हैं (और अन्य अनुलग्न संकेतन का उपयोग करते हैं)।
इतिहास
जन लुकासिविक्ज़, निकोद की अभिगृहीत और सामान्यीकरण निगमन पर टिप्पणी, पृष्ठ 180 के पेपर का उद्धरण बताता है कि कैसे संकेतन का आविष्कार किया गया था: जन लुकासिविक्ज़ के एक पेपर का एक उद्धरण, निकोद के स्वयंसिद्ध पर टिप्पणी और "सामान्यीकरण निगमन" पर, पृष्ठ 180, बताता है कि कैसे संकेतन का आविष्कार किया गया था:
1924 में मुझे कोष्ठक-मुक्त अंकन का विचार आया। मैंने अपने लेख लुकासिविक्ज़(1), पृष्ठ में पहली बार उस संकेतन का उपयोग किया। 610, फुटनोट है।
लुकासिविक्ज़ द्वारा उद्धृत संदर्भ स्पष्ट रूप से पोलिश भाषा में लिथोग्राफ की गई रिपोर्ट है। लुकासिविक्ज़ रिमार्क्स ऑन निकॉड एक्सिओम और ऑन "सामान्यीकरण निगमन" द्वारा रेफ़रिंग पेपर की समीक्षा 1965 में जर्नल ऑफ़ सिंबॉलिक तर्क में हेनरी ए. पोगोरज़ेल्स्की द्वारा की गई थी।[9] 1924 में मूसा शोनफिंकेल के लेख के संपादक हेनरिक बेहमन,[10] तर्क सूत्रों में कोष्ठकों को हटाने का विचार पहले से ही था। लुकासिविक्ज़ ने अपने पत्र में कहा कि उनका अंकन सबसे सघन और पहला रैखिक रूप से लिखा गया कोष्ठक-मुक्त संकेतन है, लेकिन पहला नहीं जैसा कि गोटलॉब फ्रेज ने 1879 में पहले से ही अपने कोष्ठक-मुक्त बेग्रिफस्च्रिफ्ट संकेतन का प्रस्ताव दिया था।[11]
अलोंजो चर्च ने गणितीय तर्क पर अपनी श्रेष्ठ पुस्तक में इस संकेतन का उल्लेख किया है, जो कि अल्फ्रेड नॉर्थ व्हाइटहेड और बर्ट्रेंड रसेल की तार्किक सांकेतिक प्रदर्शनी और गणितीय सिद्धांत में काम करने के विपरीत सांकेतिक प्रणाली में टिप्पणी के योग्य है।[12]
लुकासिविक्ज़ की 1951 की पुस्तक में, आधुनिक औपचारिक तर्क के दृष्टिकोण से अरस्तू की सिलोजिस्टिक, उन्होंने उल्लेख किया है कि उनके संकेतन का सिद्धांत कोष्ठक से बचने के लिए फलन के तर्क से पहले फलन प्रतीकों को लिखना था और उन्होंने 1929 से अपने तार्किक पत्रों में अपने अंकन को तब से नियोजित किया था।[3] इसके बाद वह उदाहरण के रूप में 1930 का पेपर जो उसने प्रस्तावित कलन पर अल्फ्रेड टार्स्की के साथ लिखा था, वह उद्धृत करता है।[13]
जबकि वह अब तर्क में अधिक उपयोग नहीं किया जाता है,[14] तब से पोलिश संकेतन को कंप्यूटर विज्ञान में स्थान मिला है।
स्पष्टीकरण
संख्या 1 और 2 को जोड़ने के लिए अभिव्यक्ति को पोलिश संकेतन में + 1 2 (उपसर्ग), इसके अतिरिक्त रूप में 1 + 2 (इनफिक्स) लिखा गया है। अधिक जटिल अभिव्यक्तियों में, प्रचालक अभी भी अपने ऑपरेंड से पहले होते हैं, लेकिन ऑपरेंड स्वयं भी अभिव्यक्ति हो सकते हैं जिसमें फिर से प्रचालक और उनके ऑपरेंड सम्मिलित हैं। उदाहरण के लिए, अभिव्यक्ति जो पारंपरिक इंफिक्स संकेतन में लिखी जाएगी
पोलिश संकेतन में लिखी जा सकता है
सभी सम्मिलित प्रचालकों के दिए गए एकता को मानते हुए (यहां - घटाव के बाइनरी संचालन को दर्शाता है, चिन्ह-परिवर्तन के यूनरी फलन को नहीं), कोई भी अच्छी तरह से गठित उपसर्ग प्रतिनिधित्व स्पष्ट है, और उपसर्ग अभिव्यक्ति के अंदर कोष्ठक अनावश्यक हैं। इस प्रकार, उपरोक्त अभिव्यक्ति को और सरल बनाया जा सकता है
उत्पाद के प्रसंस्करण को तब तक के लिए टाल दिया जाता है जब तक कि इसके दो ऑपरेंड (तथापि, 5 - 6, और 7) उपलब्ध नहीं हो जाते। किसी भी संकेतन के साथ, अंतरतम अभिव्यक्तियों का मूल्यांकन पहले किया जाता है, लेकिन पोलिश संकेतन में इस अंतरतम-नेस को कोष्ठकों के अतिरिक्त प्रचालकों और ऑपरेंडों के अनुक्रम द्वारा व्यक्त किया जा सकता है।
पारंपरिक इन्फिक्स संकेतन में, संचालन के मानक क्रम को ओवरराइड करने के लिए कोष्ठक की आवश्यकता होती है, क्योंकि, उपरोक्त उदाहरण की बात करते हुए, उन्हें स्थानांतरित करना
या उन्हें हटाना
अभिव्यक्ति के अर्थ और परिणाम को परिवर्तित कर देता है। यह संस्करण पोलिश संकेतन में लिखा गया है
विभाजन या घटाव जैसे गैर-कम्यूटेटिव संचालन से निपटने के समय, प्रचालकों की अनुक्रमिक व्यवस्था को इस परिभाषा के साथ समन्वयित करना आवश्यक है कि प्रचालक अपने तर्कों को कैसे तथापि बाएं से दाएं लेता है। उदाहरण के लिए, ÷ 10 5, 5 के बाईं ओर 10 के साथ, 10 ÷ 5 का अर्थ (10 को 5 से विभाजित करें के रूप में पढ़ें) है, या − 7 6, 7 बायें से 6 के साथ, 7 − 6 का अर्थ (7 ऑपरेंड 6 से घटाना के रूप में पढ़ें) है।
मूल्यांकन एल्गोरिथ्म
उपसर्ग/उपसर्ग संकेतन विशेष रूप से कोष्ठकों और अन्य पूर्ववर्ती नियमों की आवश्यकता के बिना संचालन के इच्छित क्रम को व्यक्त करने की अपनी सहज क्षमता के लिए लोकप्रिय है, जैसा कि सामान्यतः इन्फिक्स संकेतन के साथ नियोजित किया जाता है। इसके अतिरिक्त, संकेतन विशिष्ट रूप से किस प्रचालक को पहले मूल्यांकन करना है, यह इंगित करता है। यह माना जाता है कि प्रत्येक प्रचालक के पास निश्चित संख्या है, और सभी आवश्यक ऑपरेंड को स्पष्ट रूप से दिया गया माना जाता है। वैध उपसर्ग अभिव्यक्ति हमेशा प्रचालक के साथ प्रारंभ होती है और ऑपरेंड के साथ समाप्त होती है। मूल्यांकन या तो बाएं से दाएं या विपरीत दिशा में आगे बढ़ सकता है। बाईं ओर से प्रारंभ करते हुए, इनपुट स्ट्रिंग, जिसमें प्रचालक या ऑपरेंड को दर्शाने वाले टोकन सम्मिलित हैं, स्टैक (सार डेटा प्रकार) पर टोकन के लिए धकेल दिया जाता है, जब तक कि स्टैक की शीर्ष प्रविष्टियों में ऑपरेंड की संख्या नहीं होती है जो सबसे शीर्ष प्रचालक के लिए उपयुक्त होती है। स्टैकटॉप पर टोकन का यह समूह (अंतिम स्टैक्ड प्रचालक और ऑपरेंड की संख्या के अनुसार) इन/इस ऑपरेंड पर प्रचालक को निष्पादित करने के परिणाम से प्रतिस्थापित किया जाता है। फिर इनपुट की प्रोसेसिंग इसी तरह से चलती रहती है। मान्य उपसर्ग अभिव्यक्ति में सबसे दाहिना ऑपरेंड इस प्रकार संपूर्ण अभिव्यक्ति के मूल्यांकन के परिणाम को छोड़कर, स्टैक को खाली कर देता है। दाईं ओर से प्रारंभ करते समय, टोकन को धक्का देना समान रूप से किया जाता है, बस प्रचालक द्वारा मूल्यांकन को ट्रिगर किया जाता है, उचित संख्या में ऑपरेंड ढूंढता है जो स्टैकटॉप पर पहले से ही सही बैठता है। अब मान्य उपसर्ग अभिव्यक्ति का सबसे बायाँ टोकन प्रचालक होना चाहिए, जो स्टैक में ऑपरेंड की संख्या के अनुरूप हो, जो फिर से परिणाम देता है। जैसा कि विवरण से देखा जा सकता है, नियतात्मक पुशडाउन ऑटोमेटन पुश-डाउन भंडार जिसमें मनमानी स्टैक निरीक्षण की कोई क्षमता नहीं है, इस पदच्छेद को प्रस्तुत करने के लिए पर्याप्त है।
उपरोक्त स्केच किए गए ढेर में मिरर किए गए इनपुट के साथ - रिवर्स पोलिश संकेतन में अभिव्यक्ति के लिए हेरफेर का काम करता है।
तर्क के लिए पोलिश संकेतन
नीचे दी गई तालिका में वाक्यात्मक तर्क के लिए जन लुकासिविक्ज़ के अंकन के मूल को दिखाया गया है।[15] पोलिश संकेतन तालिका में कुछ अक्षर पोलिश भाषा में विशेष शब्दों के लिए खड़े होते हैं, जैसा कि दिखाया गया है:
अवधारणा | पारंपरिक
अंकन |
पोलिश संकेतन | पोलिश
अवधि |
---|---|---|---|
निषेध | negacja | ||
संयोजक | koniunkcja | ||
संयोजन | alternatywa | ||
अनन्य संयोजन | alternatywa rozłączna | ||
सामग्री सशर्त | implikacja | ||
द्विसशर्त | ekwiwalencja | ||
फाल्सम | fałsz | ||
शेफर स्ट्रोक | dysjunkcja | ||
संभावना | możliwość | ||
आवश्यकता | konieczność | ||
सार्वभौमिक परिमाणक | kwantyfikator ogólny | ||
अस्तित्वगत परिमाणक | kwantyfikator szczegółowy |
ध्यान दें कि परिमाणक (तर्क) कई-मूल्यवान तर्कों पर लुकासिविक्ज़ के काम में प्रस्तावित मूल्यों से अधिक है।
जोज़ेफ़ मारिया बोचेंस्की ने पोलिश संकेतन की प्रणाली की प्रारंभ की, जो शास्त्रीय प्रस्तावपरक तर्क के सभी 16 द्विआधारी तार्किक संयोजक का नाम है। शास्त्रीय प्रस्तावपरक तर्क के लिए, यह लुकासिविक्ज़ के अंकन का संगत विस्तार है। लेकिन संकेतन इस अर्थ में असंगत हैं कि बोचेंस्की प्रस्तावपरक तर्क में L और M (गैर-निम्नीकरण और विलोम गैर-निम्नीकरण के लिए) का उपयोग करता है और लुकासिविक्ज़ मोडल तर्क में L और M का उपयोग करता है।[16]
कार्यान्वयन
लिस्प (प्रोग्रामिंग भाषा) एस-भाव में उपसर्ग संकेतन का व्यापक अनुप्रयोग देखा गया है, जहां कोष्ठक की आवश्यकता होती है क्योंकि भाषा में प्रचालक स्वयं डेटा (प्रथम श्रेणी के कार्य) होते हैं। लिस्प फलनों वैराडिक फलन भी हो सकते हैं। टीसीएल प्रोग्रामिंग भाषा, लिस्प की तरह ही मैथोप पुस्तकालय के माध्यम से पोलिश संकेतन का उपयोग करती है। अम्बी[17] प्रोग्रामिंग भाषा अंकगणितीय संचालन और कार्यक्रम निर्माण के लिए पोलिश संकेतन का उपयोग करती है। एलडीएपी फ़िल्टर वाक्य-विन्यास पोलिश उपसर्ग संकेतन का उपयोग करता है।[18]
अनुलग्न संकेतन का उपयोग कई स्टैक-उन्मुख प्रोग्रामिंग भाषा जैसे परिशिष्ट भाग और फोर्थ (प्रोग्रामिंग भाषा) में किया जाता है। कॉफीस्क्रिप्ट वाक्य-विन्यास भी फलन को उपसर्ग संकेतन का उपयोग करने की अनुमति देता है, जबकि अभी भी अन्य भाषाओं में यूनरी अनुलग्न वाक्य-विन्यास का समर्थन करता है।
किसी अभिव्यक्ति के वापसी मूल्य की संख्या अभिव्यक्ति में ऑपरेंड की संख्या और प्रचालकों की कुल संख्या के बीच के अंतर के बराबर होती है, जो प्रचालकों के वापसी मूल्य की कुल संख्या को घटाती है।
पोलिश संकेतन, सामान्यतः अनुलग्न रूप में, कुछ कैलकुलेटर विशेष रूप से एचपी कैलकुलेटर का चुना हुआ संकेतन है | हेवलेट-पैकर्ड से[19] निचले स्तर पर, अनुलग्न प्रचालकों का उपयोग कुछ स्टैक मशीनें जैसे बरोज़ लार्ज प्रणालियों द्वारा किया जाता है।
यह भी देखें
- रिवर्स पोलिश संकेतन (आरपीएन)
- फलन आवेदन
- लैम्ब्डा कैलकुलस
- करी
- लिस्प (प्रोग्रामिंग भाषा)
- एस-अभिव्यक्ति
- पोलिश स्कूल ऑफ मैथमैटिक्स
- हंगेरियन संकेतन
- क्रिया-विषय-वस्तु (वीएसओ)
- क्रिया-वस्तु-विषय (वीओएस)
- सिर-दिशात्मकता पैरामीटर
- डब्ल्यूएफएफ 'एन प्रूफ
संदर्भ
- ↑ Jorke, Günter; Lampe, Bernhard; Wengel, Norbert (1989). Arithmetische Algorithmen der Mikrorechentechnik [Arithmetic algorithms in microcomputers] (in Deutsch) (1 ed.). Berlin, Germany: VEB Verlag Technik. ISBN 3-34100515-3. EAN 978-3-34100515-6. MPN 5539165. License 201.370/4/89. Retrieved 2015-12-01.
- ↑ Łukasiewicz, Jan (February 1929). Elementy logiki matematycznej [Elements of mathematical logic] (in polski) (1 ed.). Warsaw, Poland: Państwowe Wydawnictwo Naukowe; Łukasiewicz, Jan (1963). Elements of mathematical logic. Translated by Wojtasiewicz, Olgierd Adrian [in polski]. New York, USA: The MacMillan Company. p. 24.
- ↑ 3.0 3.1 Łukasiewicz, Jan (1951). "Chapter IV. Aristotle's System in Symbolic Form (section on "Explanation of the Symbolism")". Aristotle's Syllogistic from the Standpoint of Modern Formal Logic (1 ed.). p. 78.
- ↑ Łukasiewicz, Jan (1957). Aristotle's Syllogistic from the Standpoint of Modern Formal Logic (2 ed.). Oxford University Press. (Reprinted by Garland Publishing in 1987, ISBN 0-8240-6924-2.)
- ↑ Kennedy, John (August 1982). "RPN Perspective". PPC Calculator Journal. Mathematics Department, Santa Monica College, Santa Monica, California, USA. 9 (5): 26–29. CiteSeerX 10.1.1.90.6448. Archived from the original on 2022-07-01. Retrieved 2022-07-02. (12 pages)
- ↑ Hamblin, Charles Leonard (1962). "Translation to and from Polish notation". Computer Journal. 5 (3): 210–213. doi:10.1093/comjnl/5.3.210.
- ↑ Ball, John A. (1978). Algorithms for RPN calculators (1 ed.). Cambridge, Massachusetts, USA: Wiley-Interscience, John Wiley & Sons, Inc. ISBN 0-471-03070-8.
- ↑ Main, Michael (2006). Data structures and other objects using Java (3rd ed.). Pearson PLC Addison-Wesley. p. 334. ISBN 978-0-321-37525-4.
- ↑ Pogorzelski, Henry Andrew (September 1965). "Reviewed work(s): Remarks on Nicod's Axiom and on "Generalizing Deduction" by Jan Łukasiewicz, Jerzy Słupecki, Państwowe Wydawnictwo Naukowe". The Journal of Symbolic Logic (Review). Association for Symbolic Logic. 30 (3): 376–377. JSTOR 2269644. (NB. The original 1931 paper "Uwagi o aksjomacie Nicoda i 'dedukcji uogólniającej" by Jan Łukasiewicz was re-published at Państwowe Wydawnictwo Naukowe (National Scientific Publishers), Warsaw, Poland in 1961 in a volume edited by Jerzy Słupecki.)
- ↑ Schönfinkel, Moses (1924). "Über die Bausteine der mathematischen Logik" [On the building blocks of mathematical logic]. Mathematische Annalen (in Deutsch). 92 (3–4): 305–316. doi:10.1007/BF01448013. S2CID 118507515; van Heijenoort, Jean, ed. (1967). "On the building blocks of mathematical logic". A Source Book in Mathematical Logic, 1879–1931. Translated by Bauer-Mengelberg, Stefan [in Nederlands]. Harvard University Press. pp. 355–366.
- ↑ Gottschall, Christian (2005). Logische Notationen und deren Verarbeitung auf elektronischen Rechenanlagen aus theoretischer, praktischer und historischer Sicht (Diploma thesis) (in Deutsch). Vienna, Austria. p. 88. p. 88:
Die ältesten Texte in den 'Selected Works', in denen Łukasiewicz polnische Notation verwendet, datieren relativ spät, sind aber Präsentationen vorangehender Arbeiten, die 'in the course of the years 1920–1930' (S. 131) stattgefunden haben, also auch keine genauere Zeitangabe geben.
{{cite book}}
: CS1 maint: location missing publisher (link) - ↑ Church, Alonzo (1944). Introduction to Mathematical Logic. Princeton, New Jersey, USA: Princeton University Press. p. 38.
[…] Worthy of remark is the parenthesis-free notation of Jan Łukasiewicz. In this the letters N, A, C, E, K are used in the roles of negation, disjunction, implication, equivalence, conjunction respectively. […]
- ↑ Łukasiewicz, Jan; Tarski, Alfred (1930). "Untersuchungen über den Aussagenkalkül" [Investigations into the sentential calculus]. Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie. 23 (Cl. III): 31–32.
- ↑ Martínez Nava, Xóchitl (2011-06-01), "Mhy bib I fail logic? Dyslexia in the teaching of logic", in Blackburn, Patrick; van Ditmarsch, Hans; Manzano, Maria; Soler-Toscano, Fernando (eds.), Tools for Teaching Logic: Third International Congress, TICTTL 2011, Salamanca, Spain, June 1–4, 2011, Proceedings, Lecture Notes in Artificial Intelligence, vol. 6680, Springer Nature, pp. 162–169, doi:10.1007/978-3-642-21350-2_19, ISBN 978-3-64221349-6,
[…] Polish or prefix notation has come to disuse given the difficulty that using it implies. […]
- ↑ Craig, Edward (1998). Routledge Encyclopedia of Philosophy, Volume 8. Taylor & Francis. p. 496. ISBN 978-0-41507310-3.
- ↑ Bocheński, Józef Maria (1959). A Precis of Mathematical Logic (in français and Deutsch). Translated by Bird, Otto. Dordrecht, Holland, Netherlands: D. Reidel..
- ↑ "Google Code Archive - Long-term storage for Google Code Project Hosting". Archived from the original on 2022-11-14. Retrieved 2022-11-14.
{{cite web}}
:|archive-date=
/|archive-url=
timestamp mismatch (help) - ↑ "LDAP Filter Syntax". Archived from the original on 2022-11-14. Retrieved 2022-11-14.
{{cite web}}
:|archive-date=
/|archive-url=
timestamp mismatch (help) - ↑ "HP calculators - HP 35s RPN Mode" (PDF). Hewlett-Packard. Archived (PDF) from the original on 2022-11-14. Retrieved 2022-11-14.
{{cite web}}
:|archive-date=
/|archive-url=
timestamp mismatch (help)
अग्रिम पठन
- Łukasiewicz, Jan (1930). "Philosophische Bemerkungen zu mehrwertigen Systemen des Aussagenkalküls" [Philosophical Remarks on Many-Valued Systems of Propositional Logics]. Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie (in Deutsch). 23: 51–77. Translated by H. Weber in Storrs McCall, Polish Logic 1920–1939, Clarendon Press: Oxford (1967).
- Fothe, Michael; Wilke, Thomas, eds. (2015) [2014-11-14]. Written at Jena, Germany. Keller, Stack und automatisches Gedächtnis – eine Struktur mit Potenzial [Cellar, stack and automatic memory - a structure with potential] (PDF) (Tagungsband zum Kolloquium 14. November 2014 in Jena). GI Series: Lecture Notes in Informatics (LNI) – Thematics (in Deutsch). Vol. T-7. Bonn, Germany: Gesellschaft für Informatik (GI) / Köllen Druck + Verlag GmbH. ISBN 978-3-88579-426-4. ISSN 1614-3213. Archived (PDF) from the original on 2020-04-12. Retrieved 2020-04-12. [1] (77 pages)
- Langmaack, Hans [in Deutsch] (2015) [2014-11-14]. Written at Kiel, Germany. Friedrich L. Bauers und Klaus Samelsons Arbeiten in den 1950er-Jahren zur Einführung der Begriffe Kellerprinzip und Kellerautomat [Friedrich L. Bauer's and Klaus Samelson's works in the 1950s on the introduction of the terms cellar principle and cellar automaton] (PDF) (in Deutsch). Jena, Germany: Institut für Informatik, Christian-Albrechts-Universität zu Kiel. pp. 19–29. Archived (PDF) from the original on 2022-11-14. Retrieved 2022-11-14. (11 pages) (NB. Published in Fothe & Wilke.)
- Goos, Gerhard [in Deutsch] (2017-08-07). Geschichte der deutschsprachigen Informatik - Programmiersprachen und Übersetzerbau [History of informatics in German-speaking countries - Programming languages and compiler design] (PDF) (in Deutsch). Karlsruhe, Germany: Fakultät für Informatik, Karlsruhe Institute of Technology (KIT). Archived (PDF) from the original on 2022-05-19. Retrieved 2022-11-14. (11 pages)
बाहरी संबंध
- Media related to Polish notation (mathematics) at Wikimedia Commons