প্রশ্ন ট্যাগ «domain-theory»

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

1
স্কটের আসল এলসিএফ পেপার সন্ধান করা
নিম্নলিখিত পাণ্ডুলিপিটি কি প্রকাশ্যে পাওয়া যায়? ডানা স্কট, 1969, উচ্চতর ধরণের গণনাযোগ্য ফাংশনগুলির একটি তত্ত্ব । অপ্রকাশিত সেমিনার নোট, 7 পৃষ্ঠাগুলি, অক্সফোর্ড বিশ্ববিদ্যালয়। কার্ডোন অ্যান্ড হিনডলে বিভাগ 8.1.2, সেট হিসাবে প্রকার , 2006 সালে ল্যাম্বডা-ক্যালকুলাসের ইতিহাস এবং সম্মিলিত যুক্তির এই কাগজটির বিষয়ে আলোচনা রয়েছে ; অতিরিক্তভাবে বিভাগ 10.1, ডোমেন তত্ত্ব …

4
হাস্কেলের সিক ক্রিয়াকলাপের সাথে ফাংশনগুলির জন্য কি এটা-সমতুল্যতা উপযুক্ত?
থিম: ধরে নেওয়া যাক ETA-সমানতা আমরা যে আছে (\x -> ⊥) = ⊥ :: A -> B। প্রুফ: ⊥ = (\x -> ⊥ x)এটা-সমতা এবং (\x -> ⊥ x) = (\x -> ⊥)ল্যাম্বদার নীচে হ্রাস দ্বারা। হাস্কেল 2010 রিপোর্ট, বিভাগ 6.2 seqদুটি সমীকরণ দ্বারা ফাংশন নির্দিষ্ট করে : seq :: …

1
এটি কি বীজগণিত পোজগুলির জন্য সমতুল্য শর্ত?
"বীজগাণিতিক poset" এ সংজ্ঞার ক্রমাগত lattices এবং ডোমেনগুলির , সংজ্ঞা আই-4.2, যাতে লেখা সবার জন্য ,x ∈ Lx∈Lx \in L সেট একটি নির্দেশ সেট হওয়া উচিত, এবংA ( x ) = ↓ x ∩ K( এল )A(x)=↓x∩K(L)A(x) = {\downarrow} x \cap K(L) ।x = ⨆ ( ↓ x ∩ কে)( …

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

3
সম্ভাব্য পাওয়ারডোমেন অপারেশনের অধীনে কি কোনও পরিচিত সিসিসি বন্ধ রয়েছে?
সমানভাবে, সম্ভাব্য উচ্চতর অর্ডার কার্যকরী প্রোগ্রামিং ভাষাগুলির জন্য একটি জ্ঞাত ডেনোটেশনাল শব্দার্থবিজ্ঞান কি আছে? বিশেষ করে, সেখানে বিশুদ্ধ untyped একটি ডোমেন মডেল -calculus একটি প্রতিসম র্যান্ডম বাইনারি পছন্দ অপারেশন প্রসারিত।λλ\lambda প্রেরণা কার্টেসিয়ান বন্ধ বিভাগগুলি উচ্চতর-অর্ডার -ক্যালকুলিতে একটি শব্দার্থবিজ্ঞান সরবরাহ করে । সম্ভাব্য পাওয়ারডোমাইনগুলি স্টোকাস্টিক প্রোগ্রামগুলিকে শব্দার্থ সরবরাহ করে। একটি সম্ভাব্য …

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

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