होरे लॉजिक एक औपचारिक प्रणाली है जिसमें कंप्यूटर प्रोग्राम की शुद्धता के बारे में सख्ती से तर्क करने के लिए तार्किक नियमों का एक सेट होता है। यह 1969 में ब्रिटिश कंप्यूटर वैज्ञानिक और तर्कशास्त्री टोनी होरे द्वारा प्रस्तावित किया गया था, और बाद में होरे और अन्य शोधकर्ताओं द्वारा परिष्कृत किया गया था।
होरे ट्रिपल क्या हैं?
ए होरे ट्रिपल में तीन भाग होते हैं, एक पूर्व शर्त पी, एक प्रोग्राम स्टेटमेंट या स्टेटमेंट की श्रृंखला एस, और एक पोस्टकंडीशन क्यू। यह आमतौर पर फॉर्म में लिखा जाता है। {P} S {Q} का अर्थ है "यदि S निष्पादित होने से पहले P सत्य है, और यदि S का निष्पादन समाप्त हो जाता है, तो Q बाद में सत्य है"।
होरे तर्क किसके लिए प्रयोग किया जाता है?
होरे तर्क का लक्ष्य है कार्यक्रम की शुद्धता के बारे में तर्क के लिए एक औपचारिक प्रणाली प्रदान करना। Hoare तर्क एक समारोह और उसके ग्राहकों के कार्यान्वयन के बीच एक अनुबंध के रूप में एक विनिर्देश के विचार पर आधारित है। विनिर्देश एक पूर्व शर्त और एक पश्च शर्त से बना है।
होरे क्या है?
होरे एक अंग्रेजी उपनाम है जो मध्य अंग्रेजी होर (ई) से लिया गया है जिसका अर्थ है ग्रे- या सफेद बालों वाला। उपनाम वाले उल्लेखनीय लोगों में शामिल हैं: अल्बर्ट अल्फ्रेड होरे, जिसे बर्ट होरे (1874-1962), दक्षिण ऑस्ट्रेलियाई राजनीतिज्ञ के नाम से जाना जाता है। डेस होरे (जन्म 1934), ऑस्ट्रेलियाई क्रिकेटर। … जॉन गुर्नी होरे (1810-1875), अंग्रेजी क्रिकेटर और …
होरे तर्क पूरा हो गया है?
उत्तर हां है, और यह दर्शाता है कि होरे तर्क ध्वनि है। सुदृढ़ता महत्वपूर्ण है क्योंकि यह कहती हैकि होरे तर्क हमें आंशिक शुद्धता अभिकथन प्राप्त करने की अनुमति नहीं देता है जो वास्तव में धारण नहीं करता है। सुदृढ़ता के प्रमाण के लिए {P} c {Q} में व्युत्पत्तियों पर प्रेरण की आवश्यकता होती है (हम इस प्रमाण को छोड़ देते हैं)।
