এটি হল উইন্ডোজ অ্যাপ নামক HOL উপপাদ্য-প্রমাণকারী সিস্টেম যার সর্বশেষ প্রকাশ hol-kananaskis-14.tar.gz হিসাবে ডাউনলোড করা যেতে পারে। এটি ওয়ার্কস্টেশনের জন্য বিনামূল্যের হোস্টিং প্রদানকারী OnWorks-এ অনলাইনে চালানো যেতে পারে।
ডাউনলোড করুন এবং অনলাইনে চালান HOL উপপাদ্য-প্রমাণকারী সিস্টেম নামের এই অ্যাপটি OnWorks-এর সাথে বিনামূল্যে।
এই অ্যাপটি চালানোর জন্য এই নির্দেশাবলী অনুসরণ করুন:
- 1. আপনার পিসিতে এই অ্যাপ্লিকেশনটি ডাউনলোড করুন৷
- 2. আমাদের ফাইল ম্যানেজারে প্রবেশ করুন https://www.onworks.net/myfiles.php?username=XXXXX আপনি যে ইউজারনেম চান।
- 3. এই ধরনের ফাইল ম্যানেজারে এই অ্যাপ্লিকেশনটি আপলোড করুন।
- 4. এই ওয়েবসাইট থেকে যেকোনো OS OnWorks অনলাইন এমুলেটর শুরু করুন, তবে আরও ভালো উইন্ডোজ অনলাইন এমুলেটর।
- 5. OnWorks Windows OS থেকে আপনি এইমাত্র শুরু করেছেন, আমাদের ফাইল ম্যানেজারে যান https://www.onworks.net/myfiles.php?username=XXXXX আপনার পছন্দের ব্যবহারকারীর নাম সহ।
- 6. অ্যাপ্লিকেশনটি ডাউনলোড করুন এবং এটি ইনস্টল করুন।
- 7. আপনার লিনাক্স ডিস্ট্রিবিউশন সফ্টওয়্যার সংগ্রহস্থল থেকে ওয়াইন ডাউনলোড করুন। একবার ইনস্টল হয়ে গেলে, আপনি ওয়াইন দিয়ে চালানোর জন্য অ্যাপটিতে ডাবল-ক্লিক করতে পারেন। এছাড়াও আপনি PlayOnLinux ব্যবহার করে দেখতে পারেন, ওয়াইনের উপর একটি অভিনব ইন্টারফেস যা আপনাকে জনপ্রিয় উইন্ডোজ প্রোগ্রাম এবং গেম ইনস্টল করতে সাহায্য করবে।
ওয়াইন লিনাক্সে উইন্ডোজ সফ্টওয়্যার চালানোর একটি উপায়, কিন্তু কোন উইন্ডোজ প্রয়োজন নেই। ওয়াইন হল একটি ওপেন সোর্স উইন্ডোজ সামঞ্জস্যপূর্ণ স্তর যা সরাসরি যেকোনো লিনাক্স ডেস্কটপে উইন্ডোজ প্রোগ্রাম চালাতে পারে। মূলত, ওয়াইন স্ক্র্যাচ থেকে পর্যাপ্ত উইন্ডোজ পুনরায় প্রয়োগ করার চেষ্টা করছে যাতে এটি আসলে উইন্ডোজের প্রয়োজন ছাড়াই সেই সমস্ত উইন্ডোজ অ্যাপ্লিকেশন চালাতে পারে।
HOL উপপাদ্য-প্রমাণকারী সিস্টেম
Ad
বর্ণনাঃ
HOL উচ্চ ক্রম যুক্তিবিদ্যায় উপপাদ্য প্রমাণ করার জন্য একটি সিস্টেম। এটা
বিদ্যমান তত্ত্বের একটি বৃহৎ বৈচিত্র্যের সাথে আসে
গণিত এবং তাত্ত্বিক কম্পিউটার বিজ্ঞানের বিভিন্ন অংশ।
বৈশিষ্ট্য
- সহজ প্রোগ্রামযোগ্যতা
- পরিশীলিত সিদ্ধান্ত পদ্ধতি
- শক্তিশালী যুক্তি সরঞ্জাম
পাঠকবর্গ
উন্নত শেষ ব্যবহারকারী, অন্যান্য শ্রোতা, বিজ্ঞান/গবেষণা
ব্যবহারকারী ইন্টারফেস
কনসোল/টার্মিনাল
প্রোগ্রামিং ভাষা
স্ট্যান্ডার্ড এমএল
বিভাগ
এটি একটি অ্যাপ্লিকেশন যা https://sourceforge.net/projects/hol/ থেকেও আনা যেতে পারে। আমাদের বিনামূল্যের অপারেটিভ সিস্টেমগুলির মধ্যে একটি থেকে সবচেয়ে সহজ উপায়ে অনলাইনে চালানোর জন্য এটি OnWorks-এ হোস্ট করা হয়েছে।
