Hoare লজিক হল একটি আনুষ্ঠানিক সিস্টেম যেখানে কম্পিউটার প্রোগ্রামের সঠিকতা সম্পর্কে কঠোরভাবে যুক্তি দেওয়ার জন্য যৌক্তিক নিয়মগুলির একটি সেট রয়েছে। এটি 1969 সালে ব্রিটিশ কম্পিউটার বিজ্ঞানী এবং যুক্তিবিদ টনি হোয়ারের দ্বারা প্রস্তাবিত হয়েছিল, এবং পরবর্তীকালে হোয়ার এবং অন্যান্য গবেষকরা পরিমার্জিত করেছিলেন৷
হোয়ার ট্রিপল কি?
A Hoare ট্রিপলের তিনটি অংশ রয়েছে, একটি পূর্বশর্ত P, একটি প্রোগ্রাম বিবৃতি বা বিবৃতির সিরিজ S, এবং একটি পোস্টকন্ডিশন Q। এটি সাধারণত ফর্মে লেখা হয়। {P} S {Q} অর্থ হল "S কার্যকর করার আগে যদি P সত্য হয়, এবং যদি S কার্যকর করা বন্ধ হয়, তাহলে Q পরে সত্য"।
হোয়ার লজিক কিসের জন্য ব্যবহার করা হয়?
Hoare লজিকের লক্ষ্য হল প্রোগ্রাম সঠিকতা সম্পর্কে যুক্তির জন্য একটি আনুষ্ঠানিক ব্যবস্থা প্রদান করা। Hoare লজিক একটি ফাংশন বাস্তবায়ন এবং এর ক্লায়েন্টদের মধ্যে একটি চুক্তি হিসাবে একটি স্পেসিফিকেশন ধারণার উপর ভিত্তি করে। স্পেসিফিকেশন একটি পূর্বশর্ত এবং একটি পোস্টকন্ডিশন নিয়ে গঠিত।
হোয়ারে কি?
Hoare হল মধ্য ইংরেজি hor(e) থেকে প্রাপ্ত একটি ইংরেজি উপাধি যার অর্থ ধূসর-বা সাদা কেশিক। উপাধি সহ উল্লেখযোগ্য ব্যক্তিদের মধ্যে রয়েছে: আলবার্ট আলফ্রেড হোয়ার, বার্ট হোয়ার নামে পরিচিত (1874-1962), দক্ষিণ অস্ট্রেলিয়ার রাজনীতিবিদ। ডেস হোয়ারে (জন্ম 1934), অস্ট্রেলিয়ান ক্রিকেটার। … জন গার্নি হোয়ারে (1810-1875), ইংরেজ ক্রিকেটার এবং …
হোয়ারে যুক্তি কি সম্পূর্ণ?
উত্তরটি হ্যাঁ, এবং এটি দেখায় যে হোয়ারে যুক্তিটি সঠিক। সুস্বাদুতা গুরুত্বপূর্ণ কারণ এটি বলেহোয়ারে যুক্তি আমাদেরকে আংশিক শুদ্ধতা দাবি করার অনুমতি দেয় না যা আসলে ধরে না। সুস্বাস্থ্যের প্রমাণের জন্য ⊢ {P} c {Q} (আমরা এই প্রমাণটি বাদ দিই) এর ডেরিভেশনগুলিতে অন্তর্ভুক্তি প্রয়োজন।
