यह HOL प्रमेय-सिद्धांत प्रणाली नामक लिनक्स ऐप है जिसकी नवीनतम रिलीज़ को hol-kananaskis-14.tar.gz के रूप में डाउनलोड किया जा सकता है। इसे वर्कस्टेशन के लिए मुफ्त होस्टिंग प्रदाता ऑनवर्क्स में ऑनलाइन चलाया जा सकता है।
ऑनवर्क्स के साथ एचओएल प्रमेय-सिद्ध प्रणाली नामक इस ऐप को मुफ्त में ऑनलाइन डाउनलोड करें और चलाएं।
इस ऐप को चलाने के लिए इन निर्देशों का पालन करें:
- 1. इस एप्लिकेशन को अपने पीसी में डाउनलोड करें।
- 2. हमारे फ़ाइल प्रबंधक में https://www.onworks.net/myfiles.php?username=XXXXX उस उपयोगकर्ता नाम के साथ दर्ज करें जो आप चाहते हैं।
- 3. इस एप्लिकेशन को ऐसे फाइल मैनेजर में अपलोड करें।
- 4. इस वेबसाइट से ऑनवर्क्स लिनक्स ऑनलाइन या विंडोज ऑनलाइन एमुलेटर या मैकोज़ ऑनलाइन एमुलेटर शुरू करें।
- 5. ऑनवर्क्स लिनक्स ओएस से आपने अभी शुरुआत की है, हमारे फाइल मैनेजर को https://www.onworks.net/myfiles.php?username=XXXXX उस यूजरनेम के साथ जाएं जो आप चाहते हैं।
- 6. एप्लिकेशन डाउनलोड करें, इसे इंस्टॉल करें और इसे चलाएं।
HOL प्रमेय-सिद्ध करने वाली प्रणाली
Ad
वर्णन
HOL उच्च क्रम तर्क में प्रमेयों को सिद्ध करने की एक प्रणाली है। यह
मौजूदा सिद्धांतों को औपचारिक बनाने की एक विशाल विविधता के साथ आता है
गणित और सैद्धांतिक कंप्यूटर विज्ञान के विभिन्न भाग।
विशेषताएं
- आसान प्रोग्रामयोग्यता
- परिष्कृत निर्णय प्रक्रियाएँ
- शक्तिशाली तर्क उपकरण
दर्शक
उन्नत अंतिम उपयोगकर्ता, अन्य दर्शक, विज्ञान/अनुसंधान
यूजर इंटरफेस
कंसोल/टर्मिनल
प्रोग्रामिंग भाषा
मानक एमएल
कैटिगरीज
यह एक एप्लिकेशन है जिसे https://sourceforge.net/projects/hol/ से भी प्राप्त किया जा सकता है। हमारे निःशुल्क ऑपरेटिव सिस्टमों में से एक से सबसे आसान तरीके से ऑनलाइन चलाने के लिए इसे ऑनवर्क्स में होस्ट किया गया है।
