প্রশ্ন ট্যাগ «linear-logic»

সীমিত সংকোচনের সাথে দুর্বল এবং দুর্বল।

6
প্রমাণ জাল সম্পর্কে আমার কীভাবে চিন্তা করা উচিত?
এই প্রশ্নের উত্তরে , স্টিফেন গিমেনেজ আমাকে লিনিয়ার যুক্তিতে প্রমাণের জন্য বহু-কালীন স্বাভাবিককরণ অ্যালগরিদমের দিকে ইঙ্গিত করেছিলেন pointed জিরার্ডের কাগজে থাকা প্রমাণটিতে প্রুফ নেট ব্যবহার করা হয়, যা লিনিয়ার যুক্তির একটি দিক যা আমি আসলে খুব বেশি জানি না। এখন, আমি এর আগে প্রুফ নেটগুলিতে কাগজপত্র পড়ার চেষ্টা করেছি (যেমন …

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

4
রৈখিক যুক্তি প্রমাণ করে স্বয়ংক্রিয় উপপাদ্য
লিনিয়ার এবং অন্যান্য প্রস্তাবিত স্ট্রাকচারাল লজিকগুলিতে সংকোচনের অভাবে স্বয়ংক্রিয় উপপাদ্য প্রমাণ এবং প্রমাণ অনুসন্ধান সহজ? এই লজিকগুলিতে স্বয়ংক্রিয় উপপাদ্য প্রমাণ এবং প্রমাণ অনুসন্ধানে সংকোচনের ভূমিকা সম্পর্কে আমি আরও কোথায় পড়তে পারি?

1
এমএলএল + অবিরত পুনরাবৃত্তির ধরণের টুরিং-সম্পূর্ণ?
আপনি যদি টাইপযুক্ত ল্যাম্বডা-ক্যালকুলাসে পুনরাবৃত্ত সংযোগকারীগুলি যেমন Y কম্বিনেটর বা ওমেগা : এটি স্পষ্ট যে এই সংযুক্তকারীগুলির সমস্তই তাদের সংজ্ঞায় কোথাও কোনও ভেরিয়েবলের সদৃশ হয়।ωওয়াই==( Λ এক্স ।এক্সএক্স )( Λ এক্স ।এক্সএক্স )λ চ।( Λ এক্স ।চ( এক্সx ) )( Λ এক্স ।চ( এক্সx ) )ω=(λএক্স।এক্সএক্স)(λএক্স।এক্সএক্স)ওয়াই=λচ।(λএক্স।চ(এক্সএক্স))(λএক্স।চ(এক্সএক্স)) \begin{array}{lcl} \omega & = …

1
তারস্কিয়ান ম্যাগলিচকেইটে কাগজপত্র এবং নিবন্ধগুলি সন্ধান করছেন
কিছু ব্যাকগ্রাউন্ড: ইউকাসিউইজিক বহু মূল্যবান লজিককে মডেল লজিক হিসাবে চিহ্নিত করা হয়েছিল, এবং ইউকাসিউইচজ মডেল অপারেটরের একটি এক্সটেনশনাল সংজ্ঞা দিয়েছিলেন : (যা তিনি তারস্কির সাথে দায়ী)।◊A=def¬ এ → এ◊A=ঘইচ¬একজন→একজন\Diamond A =_{def} \neg A \to A এটি একটি অদ্ভুত মডেল যুক্তি দেয়, কিছু প্যারাডোক্সিকাল সহ, আপাতদৃষ্টিতে অযৌক্তিক উপপাদ্য না থাকলে উল্লেখযোগ্যভাবে …

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

2
আপনি কি সুসংহত স্পেসের পিছনে একটি স্বজ্ঞাত ব্যাখ্যা করতে পারেন?
সুসংহত স্থানগুলি ব্যবহার করে লিনিয়ার লজিকের ব্যাখ্যা করা হয় এবং তারা গিরার্ডের কাগজগুলিতে বিশিষ্টভাবে বৈশিষ্ট্যযুক্ত। এগুলিকে আনুষ্ঠানিকভাবে সংজ্ঞায়িত করার তিনটি প্রধান উপায় আমি জানি এবং এগুলি সম্পর্কে স্টাফ ব্যবহার এবং প্রমাণ করার জন্য তারা আসলেই কোনও সমস্যা তৈরি করে না, তবে আমি কেবল তাদের বোঝাতে পারি না । এগুলি বোঝার …

1
সুসংহত স্থানগুলিতে কখন পুলব্যাকস এবং পুশআউট থাকে?
\newcommand{\symp}{\Bumpeq} একটি সেট এক্স এর মধ্যে একটি সম্পর্ক একটি এবং প্রতিসম সম্পর্ক। একত্রিত স্থান হ'ল একজোড়া (এক্স, \ সিম্প_এক্স) , এবং একটি মরফিজম f: X \ থেকে Y এর সুসংগত স্থানগুলির মধ্যে একটি সম্পর্ক f \ সাবটেক এক্স X বার Y এর মতো যা সকলের জন্য (x, y) f f …

1
রৈখিক যুক্তির পিছনে অন্তর্দৃষ্টি কী?
আমি রৈখিক ধরণের সিস্টেমগুলি আরও ভালভাবে বুঝতে লিনিয়ার যুক্তি বোঝার চেষ্টা করছি। যাইহোক, যখন আমি নিয়ম পড়া, আমি এটা পিছনে একটি স্বজ্ঞা পেতে হিসাবে আমি মোডাল যুক্তিবিজ্ঞান সম্পন্ন করেছি ব্যর্থ - অর্থ একটি প্রয়োজন বোধ করা হয় হিসাবে ক্রিপকির ফ্রেম একটি প্রত্যেক পৌঁছানো বিশ্বের জন্য প্রয়োজন বোধ করা হয় [ …
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.