প্রশ্ন ট্যাগ «denotational-semantics»

7
ডায়নোটেশনাল শব্দার্থবিজ্ঞানের গঠন কী?
একটি ভিন্ন থ্রেডে , আন্দ্রেজ বাউর ডোনোটেশনাল শব্দার্থকে সংজ্ঞায়িত করেছেন: একটি প্রোগ্রামের অর্থ হল এর অংশগুলির অর্থের একটি ক্রিয়া। আমাকে এই সংজ্ঞাটি সম্পর্কে বিরক্ত করার কারণ এটি হ'ল সাধারণত যেটিকে নন-ডায়নোটেশনাল শব্দার্থক হিসাবে বলা হয় যা স্ট্রাকচারাল অপারেশনাল শব্দার্থক হিসাবে সাধারণত ভাবা হয় তার থেকে একটিকে বোঝায় না । আরো …

7
প্রোগ্রামিং ভাষার শব্দার্থবিদ্যার উপর বই
আমি নীলসন এবং নীলসনের " অ্যাপ্লিকেশন সহ শব্দার্থবিদ্যা " পড়ছি , এবং আমি বিষয়টি সত্যই পছন্দ করি। আমি প্রোগ্রামিং ভাষার শব্দার্থবিজ্ঞানের বিষয়ে আরও একটি বই রাখতে চাই - তবে আমি সত্যিই কেবল একটি বই পেতে পারি। আমি তুরবাক / জিফফোর্ড বইটি দেখেছি , তবে এটি খুব দীর্ঘায়িত; আমি ভিনসেল ভাল …

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

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

2
অর্ধ-পিইআরএস / বিচ্ছিন্ন সম্পর্ক / জিগ-জাগ সম্পর্কগুলির ব্যবহার?
এবং বি সেট দেয় , তাদের মধ্যে একটি বিচ্ছিন্ন সম্পর্ক ( ∼ ) ⊆ এ × বি নিম্নলিখিত সংস্থাকে সন্তুষ্ট করে এমন একটি সম্পর্ক হিসাবে সংজ্ঞায়িত করা হয়:একজনএকজনAবিবিB ( ∼ ) ⊆ এ × বি(~)⊆একজন×বি(\sim) \subseteq A \times B যদি এবং একটি ′ ∼ বি ′ এবং একটি ∼ বি …

2
যৌক্তিক সম্পর্কের উত্স কী?
আমার আসলে দুটি প্রশ্ন আছে: শব্দার্থবিজ্ঞানের সাথে সম্পর্কিত হওয়ার জন্য কে প্রথম যৌক্তিক সম্পর্ক ব্যবহার করেছিল? আমি তাদের পুনরায় রেনল্ডের " অন ​​রিলেশন বিটুইন বিইন ডাইরেক্ট অ্যান্ড কন্টিনিউশনেশন সেমেন্টিকস "-এ ফিরে পেয়েছি, তবে আমি দাবি করতে পারি না যে একটি বিস্তৃত অনুসন্ধান করেছে। যৌক্তিক সম্পর্কের রেফারেন্সগুলি আমি এর আগে খুঁজে …

1
গঠনমূলক মেট্রিক স্পেসের জন্য নির্দিষ্ট পয়েন্টের উপপাদাগুলি?
বনাচের নির্দিষ্ট পয়েন্টের উপপাদ্যটি বলে যে আমাদের যদি কোনও অস্তিত্ব পূর্ণ মেট্রিক স্পেস AএকজনA , তবে যেকোন অভিন্ন সংকোচনের কাজটি f:A→Aচ:একজন→একজনf : A \to A এর একটি অনন্য স্থির বিন্দু থাকে μ(f)μ(চ)\mu(f) । যাইহোক, এই উপপাদ্য প্রমাণ পছন্দের সবর্জনবিদিত প্রয়োজন - আমরা একটি অবাধ উপাদান চয়ন করতে হবে iterating শুরু …

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

1
স্কিমের কল / সিসি কি সমস্ত পরিচিত নিয়ন্ত্রণ প্রবাহ কাঠামো বাস্তবায়ন করতে পারে?
"অ্যাডভান্সড স্কিম: কিছু দুষ্টু বিট" পৃষ্ঠাটি বলেছে: ধারাবাহিকতা একটি শক্তিশালী নিয়ন্ত্রণ-প্রবাহ গঠন যা থেকে অন্য যে কোনও নিয়ন্ত্রণ-প্রবাহ কাঠামো [...] থেকে নেওয়া যেতে পারে। আমি ভেবেছিলাম যে স্কিমটির call/cc, (*) পিটার ল্যান্ডিনের জে অপারেটরের সাথে সম্পর্কিত, কোনও পরিচিত নিয়ন্ত্রণ প্রবাহ কাঠামো প্রয়োগ করতে ব্যবহার করা যেতে পারে ? "নিয়ন্ত্রণ প্রবাহ …

1
পিসিএফ + টাইমআউটগুলি পুরোপুরি বিমূর্ত করার জন্য কি এসকার্ডের মেট্রিক সিমেটিক?
১৯৯৯ সালে তার ওয়ার্কশপ পেপার "এ মেট্রিক মডেল অফ পিসিএফ" -তে মার্টন এসকার্ডি দেখিয়েছিলেন যে সম্পূর্ণ আলট্রাসেট্রিক স্পেস এবং নন এক্সপেনসিভ মানচিত্রের বিভাগে পিসিএফের একটি সহজ ব্যাখ্যা দেওয়া সম্ভব। তিনি দেখালেন যে এই মডেলটি পর্যাপ্ত ছিল এবং এটি একটি সময়সীমা নির্মাণের সংযোজনকে মডেল করতে পারে (অর্থাত্ একটি অপারেটর যা কিছু …

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

1
অর্থ এবং বর্ণের মধ্যে পার্থক্য কী?
প্রোগ্রামিং ল্যাঙ্গুয়েজ শব্দার্থবিজ্ঞানে, প্রায়শই শোনা যায় যে লোকেরা অর্থ এবং বর্ণের কথা বলে । তারা এক হিসাবে না বলে মনে হচ্ছে। পার্থক্য কি? পূর্ববর্তীটি অপারেশনাল শব্দার্থকগুলির সাথে যুক্ত হয়, যখন পরবর্তীটি ডেনোটেশনাল শব্দার্থবিদ্যার সাথে থাকে? ধন্যবাদ।

1
পিসিএফ-এ ধারাবাহিকতার ক্রিয়াকলাপের মডুলাসের অপরিজ্ঞাততার জন্য রেফারেন্স?
কেউ কি আমাকে পিসিএফ-এ ধারাবাহিকতার মডুলাসের কার্যকারিতা অ-নিশ্চিত করার জন্য রেফারেন্সের দিকে নির্দেশ করতে পারেন? \ newcommand {ool bool} \ \ mathsf {bool}\newcommand{\N}{\mathbb{N}} \newcommand{\bool}{\mathsf{bool}} আন্দ্রেজ বাউর একটি খুব সুন্দর ব্লগ পোস্ট লিখেছেন কিছু বিষয় নিয়ে আরও বিস্তারিতভাবে অনুসন্ধান করে, তবে আমি এই প্রশ্নের কিছুটা প্রসঙ্গ ধার্য করার জন্য তার পোস্টের …

1
অ-নিরঙ্কুশভাবে শেষ হওয়া লুপগুলি সম্পর্কে যুক্তিযুক্ত
এখানে একটি "ট্র্যাক বি" প্রশ্ন রয়েছে কিনা। সংক্ষিপ্তসার: আমি যখন প্রথমে নন-ডিস্ট্রিমেন্টিক প্রোগ্রামগুলিকে কোনও শব্দার্থবিজ্ঞানের ফলাফল দেওয়ার চেষ্টা করি তখন মনে করি যেগুলিতে আমি লুপ সম্পর্কে এমন জিনিস প্রমাণ করতে পারি না যেগুলি কেবল অ-নিরস্ত্রীকরণের অবসান ঘটায়। নিশ্চয়ই কেউ এই পরিস্থিতিতে কী করবেন তা নিয়ে কাজ করেছেন, বা কমপক্ষে উল্লেখ …

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

আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.