প্রশ্ন ট্যাগ «soundness»

1
প্রুফ চেকার বাগ কি কখনও কোনও বড় প্রমাণকে অবৈধ করে দিয়েছে?
বেশিরভাগ (সমস্ত?) প্রমাণ সহকারীদের উপলক্ষে নির্দিষ্ট করা সাউন্ডনেস বাগ রয়েছে। যাইহোক, আমি এই বাগগুলি দেখেছি তাদের কাছ থেকে সাধারণত অনিচ্ছাকৃতভাবে পারাপার করা কঠিন এবং বাগটি ঠিক হওয়ার আগে ফলাফলগুলি প্রমাণিত হওয়ার পরে সাধারণত প্রমাণিত হয়। শক্তির ক্রমে তিনটি প্রশ্ন: প্রমাণকে পরিবর্তন না করেই কি এই ধরণের সাউন্ডনেস বাগ ফিক্সের কারণে …

3
প্রস্তাবিত প্রকারের সংজ্ঞায় "রক্ষিত" নেতিবাচক ঘটনাগুলি, সবসময়ই খারাপ?
আমি জানি কিছু নেতিবাচক ঘটনাগুলি কীভাবে অবশ্যই খারাপ হতে পারে: data False data Bad a = C (Bad a -> a) selfApp :: Bad a -> a selfApp (x@(C x')) = x' x yc :: (a -> a) -> a yc f = selfApp $ C (\x -> f (selfApp …
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.