অ্যালগরিদমে অপরিচিত প্রতীক: এর অর্থ কী? [বন্ধ]


93

আমি একটি অ্যালগরিদম সম্পর্কে পড়ছি (এটি একটি * ভিত্তিক একটি পথ-সন্ধানকারী অ্যালগরিদম), এবং এটিতে গাণিতিক চিহ্ন রয়েছে যার সাথে আমি অপরিচিত: ∀

এখানে প্রসঙ্গে:

v (s) ≥ g (s) = মিনিট s'∈pred (গুলি) (v (s ') + সি (গুলি), s) এর শুরু

কেউ ∀ এর অর্থ ব্যাখ্যা করতে পারে?


4
আরও মন্তব্য ফ্ল্যাগ করা হচ্ছে, এবং যদি তারা প্রশ্নের সাথে প্রাসঙ্গিক না হয় তবে সেগুলি মুছে ফেলা হবে।

উত্তর:


124

উইকিপিডিয়ায় গাণিতিক চিহ্নগুলির টেবিল বা ইউনিকোড ফোরাল চরিত্র ( \u2200, ∀) তে দেখা যায় এটিই "ফোরাল" (সকলের জন্য) প্রতীক ।


এটি অর্থবহ হয়ে উঠবে: "... সমস্ত ক্ষেত্রে অসমতার জন্য [শুরু]"
ডিভক্সার

7
প্রতীক টেবিলের লিঙ্কটির জন্য ধন্যবাদ এবং +1। আমি পরের বার যখন স্টাম্পড করব তা ব্যবহার করব (গুগল অনুসন্ধান করে কোনও রেকর্ড তৈরি হয়নি)।
ডেভুসার

4
হ্যাঁ, আমি কখনই প্রতীকগুলির জন্য গুগলিংয়ের কথা ভাবিনি। এবং স্পষ্টতই আমি কিছুই হারাতে পারি নি।
আর মার্টিনহো ফার্নান্দেস

59

উল্টোদিকে একটি প্রতীক হ'ল প্রাকটিক যুক্তি থেকে সর্বজনীন কোয়ান্টিফায়ার । (এছাড়াও প্রথম-আদেশের পূর্বাভাস ক্যালকুলাসের আরও সম্পূর্ণ আলোচনা দেখুন )) অন্যরা যেমন উল্লেখ করেছেন, এর অর্থ হ'ল বর্ণিত বক্তব্য প্রদত্ত ভেরিয়েবলের (সমস্ত দৃষ্টান্তের জন্য) ধারণ করে (এখানে, গুলি )। আপনি শীঘ্রই এর ভাইবোন, পিছনের মূলধন , যা অস্তিত্বশীল কোয়ান্টিফায়ার হিসাবে ছুটে যাবেন , যার অর্থ সম্পর্কিত দাবী অনুসারে প্রদত্ত ভেরিয়েবলের "কমপক্ষে একটি উপস্থিত রয়েছে"।

আপনি যদি যুক্তিতে আগ্রহী হন তবে আপনি লজিক এবং ডেটাবেসস: সিজে ডেটের রিলেশনাল থিওরির মূলগুলি বইটি উপভোগ করতে পারেন । এই পরিমাণগুলি এবং তাদের যৌক্তিক প্রভাবগুলি coveringেকে রাখার জন্য বেশ কয়েকটি অধ্যায় রয়েছে। এই বইয়ের যুক্তির কভারেজটি উপকার করার জন্য আপনাকে ডাটাবেসগুলির সাথে কাজ করতে হবে না।


4
Mentioning (ইউ + 2203 বিদ্যমান রয়েছে) উল্লেখ করার জন্য +1। প্রকৃতপক্ষে pred এবং ∃ সাধারণত প্রাকটিক্যাল ক্যালকুলাসে ব্যবহৃত হয়, এটি প্রথম আদেশ বা উচ্চতর-অর্ডার হোক। দ্বিতীয় অর্ডার উদাহরণের জন্য, পানো পাথের গাণিতিকের আন্ডার অ্যাক্সিয়ামে আপনি পূর্বাভাসের চেয়ে বেশি পরিমাণে লিখে ∀পি লিখুন।
স্টার ব্লু

যে ইশারা জন্য ধন্যবাদ। আপনার পরামর্শ অনুসারে আমি রেফারেন্সটি সংশোধন করেছি।
সেখ

14

গণিতে, ∀ এর অর্থ সকলের জন্য।

ইউনিকোড অক্ষর (\ u2200, ∀)।


4
তারা এটিকে "ইউনিভার্সাল কোয়ালিফায়ার" বলে। "অস্তিত্বীয় বাছাইকারী" এর সাথে তুলনা করুন। en.wikipedia.org/wiki/Universal_quantification
S.Lott

4
@ এস.লট: নটপিক এস / কোয়ালিফায়ার / কোয়ান্টিফায়ার
আর মার্টিনহো ফার্নান্দেস

9

পড়তে পারেন, "সকলের জন্য যে গুলি সমান হয় না [শুরু]"


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