Computational Fluid Dynamics

لازمی_غلط تعلیم/لازمی غلط تعلیم:
Compulsory Miseducation امریکی پبلک اسکولوں کی ایک تنقید ہے جسے پال گڈمین نے لکھا ہے اور اسے ہورائزن پریس نے 1964 میں شائع کیا ہے۔ امریکی معاشرے کے سماجی نقاد کے طور پر پہلے سے ہی قائم کیا گیا ہے اور اپنی پچھلی کتاب گروونگ اپ ایبسورڈ (1960) میں گڈمین نے دلیل دی ہے۔ نوجوانوں کی سماجی کاری کے لیے اسکولوں کی ضرورت کے خلاف لازمی غلط تعلیم اور ان کے خاتمے کی سفارش کی گئی ہے۔ وہ تجویز کرتا ہے کہ رسمی تعلیم بہت طویل رہتی ہے، غلط سماجی طبقاتی اقدار سکھاتی ہے، اور وقت کے ساتھ ساتھ طلباء کو تیزی سے نقصان پہنچاتی ہے۔ گڈمین لکھتے ہیں کہ اسکول اپنے معاشرے کی گمراہ کن اور غیر مخلصانہ اقدار کی عکاسی کرتا ہے اور اس لیے اسکول کے اصلاح کاروں کو اسکولوں سے پہلے ان اقدار پر توجہ دینی چاہیے۔ وہ اسکول کے لیے متعدد متبادلات تجویز کرتا ہے جس میں اسکول نہیں، شہر یا فارم بطور اسکول، اپرنٹس شپس، رہنمائی سفر، اور نوجوانوں کی تنظیمیں شامل ہیں۔ مبصرین نے گڈمین کے انداز کی تعریف کی اور اس کی جان بوجھ کر تضاد کو نوٹ کیا، لیکن ان کی تجاویز کی فزیبلٹی پر تقسیم ہو گئے۔ گڈمین کی کتاب ڈی اسکولنگ ایڈووکیٹ ایوان ایلیچ کے کام کا پیش خیمہ تھی۔
Compulsory_Process_Clause/لازمی عمل کی شق:
ریاستہائے متحدہ کے آئین کی چھٹی ترمیم کے اندر لازمی عمل کی شق فوجداری مقدمے کے مدعا علیہان کو عدالت کے حکم کے تحت طلبی کے ذریعے اپنے حق میں گواہ حاصل کرنے دیتی ہے۔ اس شق کو عام طور پر مدعا علیہان کو اپنا مقدمہ پیش کرنے کی اجازت دینے سے تعبیر کیا جاتا ہے، حالانکہ یہ قاعدہ شروع ہونے کے بعد سے ریاستہائے متحدہ کی سپریم کورٹ کی طرف سے کئی مخصوص حدود رکھی گئی ہیں۔
لازمی_خریداری_ایکٹ_1965/لازمی خریداری ایکٹ 1965:
لازمی خریداری ایکٹ 1965 (c 56) برطانیہ کی پارلیمنٹ کا ایک ایکٹ ہے، جو انگریزی زمین کے قانون اور لازمی خریداری سے متعلق ہے۔
لازمی_گھمانے والی_رہائشی_انٹرنشپ/لازمی گردشی رہائشی انٹرنشپ:
لازمی گردشی رہائشی انٹرن شپ (CRRI) سے مراد میڈیکل کالج سے منسلک ہسپتالوں یا کسی دوسرے منظور شدہ تدریسی ہسپتال میں ایک سال کی مدت کے لیے ایک سال کا لازمی کام ہے۔ جیسا کہ میڈیکل کونسل آف انڈیا کے ذریعہ طے کیا گیا ہے، CRRI ایم بی بی ایس کی ڈگری کے اعزاز اور بطور معالج MCI میں مکمل رجسٹریشن کے لیے ضروری ہے۔ دندان سازوں کے لیے، CRRI کو ڈینٹل کونسل آف انڈیا کے ذریعے منظم کیا جاتا ہے۔
لازمی_ثالثی/لازمی ثالثی:
لازمی ثالثی مزدوری کے تنازعات کی ثالثی ہے جسے کچھ کمیونٹیز کے قوانین دونوں فریقوں، لیبر اور انتظامیہ کو گزرنے پر مجبور کرتے ہیں۔ یہ قوانین زیادہ تر اس وقت لاگو ہوتے ہیں جب ہڑتال کا امکان عوامی مفاد کو سنجیدگی سے متاثر کرتا ہے۔ اگر دونوں فریقین اجتماعی سودے بازی کے باقاعدہ نظام کے ذریعے معاہدے تک پہنچنے میں ناکام رہتے ہیں تو کچھ مزدور معاہدے لازمی ثالثی کے لیے مخصوص انتظامات کرتے ہیں۔
Compulsory_cartel/ لازمی کارٹیل:
ایک لازمی کارٹیل یا جبری کارٹیل ایک کارٹیل ہے جو انتظامی حکم یا قانونی ہدایت کے ذریعہ قائم یا برقرار رکھا جاتا ہے۔ ایک ہی تجارت کے کاروباری افراد کی ان انجمنوں پر پالیسیوں کی مداخلت مختلف تھی۔ یہ کارٹیل قائم کرنے یا موجودہ کو برقرار رکھنے کے محض فیصلے سے لے کر سخت ریاستی کنٹرول تک تھا۔
لازمی_رقص/لازمی رقص:
لازمی رقص (سی ڈی)، جسے اب پیٹرن ڈانس کہا جاتا ہے، آئس ڈانس مقابلوں کے فگر اسکیٹنگ سیگمنٹ کا ایک حصہ ہے جس میں تمام جوڑے یا سولو ڈانسر ایک ہی معیاری اقدامات کرتے ہیں اور ایک مخصوص ٹیمپو اور سٹائل کی موسیقی کو تھامتے ہیں۔ ایک یا زیادہ لازمی رقص کو عام طور پر آئس ڈانسنگ مقابلوں کے پہلے مرحلے کے طور پر سکیٹ کیا جاتا تھا۔ 2009-10 کا سیزن آخری سیزن تھا جس میں سیگمنٹ کو انٹرنیشنل اسکیٹنگ یونین (ISU) جونیئر اور سینئر سطح کے مقابلے میں شامل کیا گیا تھا۔ جون 2010 میں، ISU نے "لازمی رقص" کے نام کو آئس ڈانس کے لیے "پیٹرن ڈانس" سے بدل دیا، اور اسے 2010-11 کے فگر سکیٹنگ سیزن میں شروع ہونے والے مختصر رقص (SD) میں ضم کر دیا۔ پہلی سی ڈیز 1930 کی دہائی کے دوران برطانیہ کی ٹیموں نے تیار کیں، جنہوں نے 1952 کی عالمی چیمپیئن شپ میں اس کھیل کا مقابلہ کرنے کے بعد ابتدائی سالوں میں آئس ڈانس پر غلبہ حاصل کیا۔ آئس ڈانس میں سی ڈی کی اہمیت دھیرے دھیرے کم ہوتی گئی، یہاں تک کہ اسے 2011 میں ایس ڈی نے ہٹا دیا اور اس کی جگہ لے لی، جس سال ISU نے لازمی رقص اور اصل رقص (OD) کو ہٹا کر آئس ڈانس کے مقابلوں کی تنظیم نو کے لیے ووٹ دیا اور ان کی جگہ مختصر رقص اور مفت رقص (FD)۔ آئس رقاصوں نے ایک یا دو بار رنک کے ارد گرد ایک ہی پیٹرن کا مظاہرہ کیا، ایک ہی قدم کی ترتیب اور ایک ہی معیاری ٹیمپو۔ اس کے بعد حریفوں کو رقص کے مختلف عناصر پر عمل درآمد کی بنیاد پر اسکور کیا گیا۔ سی ڈی نے ججوں کو ہر رقاص کی تکنیکی مہارت کا موازنہ کرنے کی اجازت دی۔
لازمی_ڈانس_(فنکارانہ_رولر_سکٹنگ)/لازمی رقص (فنکارانہ رولر اسکیٹنگ):
لازمی رقص (سی ڈی) آرٹسٹک رولر اسکیٹنگ مقابلوں کا ایک حصہ ہے جس میں تمام جوڑے یا سولو ڈانسر ایک ہی معیاری اقدامات انجام دیتے ہیں اور ایک مخصوص ٹیمپو اور سٹائل کی موسیقی کو تھامتے ہیں۔ 2018 کے سیزن میں جونیئر/سینئر سطح کے بین الاقوامی رولر سکیٹنگ مقابلوں کے لیے لازمی رقص کو ختم کر دیا گیا تھا، اور معیاری لازمی رقص اور آزادانہ زمروں کے ساتھ 2015/16 کے سیزن سے اسٹائل ڈانس کے نام سے ایک نیا سیکشن متعارف کرایا گیا تھا۔ اسٹائل ڈانس ساخت کے لحاظ سے فگر اسکیٹنگ میں مختصر رقص سے بہت ملتا جلتا ہے، اور 2018 سے بین الاقوامی رولر ڈانس مقابلے میں فریڈنس کے ساتھ 2 حصوں میں سے ایک تھا۔ زیادہ تر رقص کے نمونے یا تو رنک کے ایک آدھے یا ایک مکمل سرکٹ کا احاطہ کرتے ہیں۔ ورلڈ اسکیٹ آرٹسٹک ٹیکنیکل کمیٹی (سابقہ ​​Fédération Internationale de Roller Sports (FIRS)) بین الاقوامی سطح پر مقابلہ کیے جانے والے رقصوں کے قدمی خاکے اور تفصیل شائع کرتی ہے، اور یکساں رفتار اور تعارفی فقرے کے ساتھ ہر رقص کے لیے معیاری موسیقی کی ریکارڈنگ کا ایک سیٹ بھی فراہم کرتی ہے۔ مقابلے میں استعمال کے لیے۔
لازمی_تعلیم/لازمی تعلیم:
لازمی تعلیم سے مراد تعلیم کا وہ دور ہے جو تمام لوگوں کے لیے ضروری ہے اور حکومت کی طرف سے نافذ کیا گیا ہے۔ یہ تعلیم کسی رجسٹرڈ اسکول یا دوسری جگہوں پر ہو سکتی ہے۔ لازمی اسکول میں حاضری یا لازمی اسکول جانے کا مطلب ہے کہ والدین اپنے بچوں کو کسی خاص اسکول میں بھیجنے کے پابند ہیں۔ معاشی، سماجی اور ثقافتی حقوق کے بین الاقوامی معاہدے کے مطابق، سال کی ایک معقول تعداد کے اندر، لازمی تعلیم کا اصول سب کے لیے مفت ہے۔ بھوٹان، پاپوا نیو گنی، سولومن جزائر اور ویٹیکن سٹی کے علاوہ تمام ممالک میں تعلیم لازمی ہے۔
لازمی_اعداد و شمار/لازمی اعداد و شمار:
لازمی اعداد و شمار یا اسکول کے اعداد و شمار پہلے فگر اسکیٹنگ کا ایک حصہ تھے، اور اس کھیل کو اس کا نام دیا گیا۔ وہ "سرکلر پیٹرن ہیں جو سکیٹر برف پر ٹریس کرتے ہیں تاکہ گول دائروں پر یکساں طور پر صاف موڑ لگانے میں مہارت کا مظاہرہ کریں"۔ ایک کھیل کے طور پر فگر سکیٹنگ کے تقریباً پہلے 50 سالوں تک، 1947 تک، لازمی اعداد و شمار دنیا بھر کے زیادہ تر مقابلوں میں کل سکور کا 60 فیصد بنتے تھے۔ ان اعداد و شمار نے کھیل پر غلبہ حاصل کرنا جاری رکھا، حالانکہ ان کی اہمیت میں مسلسل کمی واقع ہوئی، یہاں تک کہ انٹرنیشنل اسکیٹنگ یونین (ISU) نے 1990 میں مقابلوں کے ایک حصے کے طور پر ان کو بند کرنے کے لیے ووٹ دیا۔ فگر اسکیٹنگ کمیونٹی کے کچھ لوگوں نے اسکیٹرز کو بنیادی مہارتیں سکھانے کے لیے انہیں ضروری سمجھا۔ سکیٹرز انہیں اچھی طرح سیکھنے اور اس پر عمل کرنے کے لیے گھنٹوں تربیت دیتے تھے، اور مقابلوں کے دوران اعداد و شمار کا مقابلہ کرنے اور فیصلہ کرنے میں اکثر آٹھ گھنٹے لگ جاتے ہیں۔ سکیٹرز نے لازمی اعداد و شمار کا پتہ لگایا، اور ان کی ہمواری اور درستگی کے مطابق فیصلہ کیا گیا۔ دائرہ تمام اعداد و شمار کی بنیاد ہے۔ لازمی اعداد و شمار کے دیگر عناصر میں منحنی خطوط، پاؤں کی تبدیلی، کنارے کی تبدیلی، اور موڑ شامل ہیں۔ سکیٹرز کو مشکل موڑ اور کناروں کو مکمل کرتے ہوئے عین مطابق دائروں کا پتہ لگانا پڑتا تھا۔ سادہ "اعداد و شمار آٹھ" شکل کو دو دائروں کو جوڑ کر عمل میں لایا گیا تھا۔ دیگر اعداد و شمار میں تین موڑ، کاؤنٹر ٹرن، راکر ٹرن، بریکٹ ٹرن، اور لوپ شامل تھے۔ اگرچہ کچھ اسکیٹرز لازمی اعداد و شمار کی مشق کرتے رہتے ہیں، اور کچھ کوچز اب بھی انہیں اسکیٹرز کو سکھاتے ہیں، کچھ اسکیٹرز اور کوچز کا خیال ہے کہ لازمی اعداد و شمار اسکیٹرز کو صف بندی، بنیادی طاقت، جسمانی کنٹرول اور نظم و ضبط کو فروغ دینے میں فائدہ دیتے ہیں۔ ورلڈ فگر اسپورٹ سوسائٹی نے 2015 سے آئس اسکیٹنگ انسٹی ٹیوٹ کی توثیق کردہ لازمی شخصیات کے تہوار اور مقابلے منعقد کیے ہیں۔
لازمی_فائر_سروس/لازمی فائر سروس:
ایک لازمی فائر سروس سوئٹزرلینڈ میں عام طور پر اور آسٹریا اور جرمنی میں بھی غیر معمولی معاملات میں مقامی فائر ڈیپارٹمنٹ کے لیے ایک لازمی سروس ہے۔ پرائیویٹ افراد کو مخصوص حالات میں ایسی فائر سروس میں حصہ لینے پر مجبور کیا جا سکتا ہے۔ سنگاپور میں سپاہیوں کو فائر فائٹرز کے طور پر تعینات کیا جاتا ہے جب وہ سنگاپور سول ڈیفنس فورس (SCDF) میں خدمات انجام دیتے ہیں۔ سوئٹزرلینڈ میں یہ لازمی فائر سروس عام ہے اور زیادہ تر خطوں میں اس کی ضرورت ہے۔ آسٹریا اور جرمنی میں لازمی فائر سروسز صرف اس وقت موجود ہیں جب رضاکارانہ فائر ڈپارٹمنٹ کو عملے کی کمی یا دیگر عدم دستیابی کی وجہ سے تعاقب نہیں کیا جا سکتا، مطلب یہ ہے کہ آگ سے تحفظ کی 24/7 ضمانت نہیں دی جا سکتی۔ اگر ضرورت ہو تو تمام مناسب افراد کو لازمی فائر سروس میں بھیجا جا سکتا ہے۔
Compulsory_heterosexuality/لازمی ہم جنس پرستی:
لازمی ہم جنس پرستی (اکثر مسابقت میں مختصر کیا جاتا ہے) ایک نظریہ ہے کہ متفاوت جنسیت کو ایک پدرانہ اور متضاد معاشرے کے ذریعہ لوگوں پر فرض کیا جاتا ہے اور نافذ کیا جاتا ہے۔ اس اصطلاح کو ایڈرین رچ نے اپنے 1980 کے مضمون "لازمی ہم جنس پرستی اور ہم جنس پرست وجود" میں مقبول کیا تھا۔ رچ کے نظریہ کے مطابق، یہ خیال کیا جاتا ہے کہ ہر ثقافت میں خواتین کو مردوں کے ساتھ تعلقات کے لیے فطری ترجیح ہوتی ہے اور اس کی وجہ سے خواتین دوسری عورتوں کے ساتھ اپنے تعلقات کی اہمیت کو کم کرنے اور کم کرنے کا باعث بنتی ہیں۔ وہ تجویز کرتی ہے کہ خواتین کو مردوں کے ساتھ شناخت کرنے اور ان کے ساتھ اپنی "سماجی، سیاسی اور فکری وفاداری" کا اظہار کرنے کے لیے سماجی بنایا جاتا ہے، اور دوسری خواتین کے ساتھ شناخت کرنے کی حوصلہ شکنی کی جاتی ہے۔
انڈرگریجویٹس کے لیے لازمی_لیڈرشپ_ٹریننگ/انڈرگریجویٹس کے لیے لازمی قیادت کی تربیت:
سری لنکا میں انڈرگریجویٹس کے لیے لازمی قیادت کی تربیت 2011 میں سری لنکا کی حکومت کی طرف سے متعارف کرایا گیا ایک لازمی پروگرام ہے جو ریاستی یونیورسٹیوں میں انڈرگریجویٹ کورسز کے لیے منتخب ہونے والے تمام طلبا کے لیے وزارت دفاع کے تحت تربیتی کیمپوں میں رہائشی تین ہفتے کی قیادت کی تربیت اور مثبت سوچ کی نشوونما سے گزرتے ہیں۔ بہت زیادہ تنازعہ کی قیادت کے طور پر. سری لنکا کی اعلیٰ تعلیم کی وزارت نے قیادت کے جاری تربیتی پروگرام کے بارے میں یونیورسٹی کے ماہرین تعلیم اور وائس چانسلرز کی رائے طلب کی اور اسے تین ہفتوں سے کم کر کے دو ہفتے کرنے کا فیصلہ کیا۔
لازمی_لائسنس/لازمی لائسنس:
ایک لازمی لائسنس فراہم کرتا ہے کہ پیٹنٹ یا کاپی رائٹ کا مالک ادائیگی کے خلاف اپنے حقوق کے استعمال کا لائسنس دیتا ہے یا تو قانون کے ذریعہ مقرر کیا جاتا ہے یا کسی قسم کے فیصلے یا ثالثی کے ذریعے طے ہوتا ہے۔ جوہر میں، ایک لازمی لائسنس کے تحت، کوئی فرد یا کمپنی جو کسی دوسرے کی دانشورانہ املاک کو استعمال کرنا چاہتی ہے، حقوق کے حامل کی رضامندی کے بغیر ایسا کر سکتی ہے، اور حقوق کے حامل کو لائسنس کے لیے ایک مقررہ فیس ادا کرتی ہے۔ یہ انٹلیکچوئل پراپرٹی قوانین کے تحت عمومی اصول کی ایک استثناء ہے کہ املاک دانش کے مالک کو خصوصی حقوق حاصل ہیں جو وہ دوسروں کو لائسنس دے سکتا ہے – یا لائسنس دینے سے انکار کر سکتا ہے۔ یو کے پیٹنٹ قانون کے تحت، ایک لازمی لائسنس ایک قانونی لائسنس سے مختلف ہے۔ قانونی لائسنس کے تحت، شرح قانون کے ذریعے طے کی جاتی ہے، جب کہ لازمی لائسنس کی صورت میں، ریٹ پر بات چیت یا عدالت میں فیصلہ کرنا چھوڑ دیا جاتا ہے۔
نیوزی لینڈ میں لازمی_فوجی_تربیت/نیوزی لینڈ میں لازمی فوجی تربیت:
لازمی فوجی تربیت (سی ایم ٹی)، بھرتی کی ایک شکل، نیوزی لینڈ میں مردوں کے لیے 1909 اور 1972 کے درمیان مشق کی گئی۔ نیوزی لینڈ میں فوجی تربیت اس سے پہلے اور تب سے رضاکارانہ رہی ہے۔
لازمی_استغاثہ/لازمی استغاثہ:
لازمی استغاثہ بعض نظام انصاف کا ایک پہلو ہے جس میں استغاثہ کو الزامات عائد کرنے کی ضرورت ہوتی ہے اگر سزا کی حمایت کرنے کے لیے کافی ثبوت موجود ہوں۔ یہ نظام جرمنی میں استعمال ہوتا ہے۔ 1948 سے اٹلی کے آئین کے ذریعہ بھی اس کی ضرورت ہے۔ ریاستہائے متحدہ اور دیگر ممالک میں جن کو لازمی قانونی چارہ جوئی کی ضرورت نہیں ہے، ایسی ضرورت کی کمی کی وجہ سے پلی بارگیننگ کے عمل کی حوصلہ افزائی کا رجحان ہے۔ گیم تھیوری کے تناظر میں 2012 کا موازنہ بتاتا ہے کہ "جب پراسیکیوٹر سے جج تک شواہد کی منتقلی درست ہو اور/یا جب پراسیکیوٹر کی طرف سے اٹھائے جانے والے قانونی چارہ جوئی کی قیمت زیادہ ہو تو لازمی استغاثہ صوابدیدی استغاثہ سے بہتر کارکردگی کا مظاہرہ کرتا ہے۔"
لازمی_عوامی_تعلیم_میں_متحدہ_ریاست/امریکہ میں لازمی عوامی تعلیم:
ریاستہائے متحدہ میں لازمی عوامی تعلیم (دوسرے لفظوں میں، نجی اسکولوں پر پابندی اور تمام بچوں کو سرکاری اسکولوں میں جانے کی ضرورت) کی تحریک 1920 کی دہائی کے اوائل میں شروع ہوئی۔ اس کا آغاز سمتھ ٹاؤنر بل سے ہوا، ایک ایسا بل جو بالآخر نیشنل ایجوکیشن ایسوسی ایشن قائم کرے گا اور سرکاری اسکولوں کو وفاقی فنڈز فراہم کرے گا۔ آخر کار یہ عوامی اسکولوں کو لازمی قرار دینے اور پیروچیئل اور دیگر نجی اسکولوں کو تحلیل کرنے کی تحریک بن گئی۔ اس تحریک نے تارکین وطن سے عوام کے خوف اور امریکنائزیشن کی ضرورت پر توجہ مرکوز کی۔ اس میں کیتھولک مخالف تھی اور اسے Ku Klux Klan جیسے گروپوں کی حمایت حاصل تھی۔ اس تحریک نے کچھ قانون سازی کی توجہ حاصل کی جب 1920 میں لازمی عوامی تعلیم کے لیے مشی گن کے ریفرنڈم میں 40% ووٹ حاصل ہوئے۔ 1922 میں اوریگون نے ایسا ہی ایک ریفرنڈم پاس کیا۔ بالآخر اس قانون کو چیلنج کیا گیا اور امریکی سپریم کورٹ نے پیئرس بمقابلہ سوسائٹی آف سسٹرز میں متفقہ طور پر اسے ختم کر دیا۔ تحریک کو دوسری جنگ عظیم کے بعد کی بحالی کا تجربہ ہوا جب کچھ امریکی کیتھولک چرچ کی طاقت سے خوفزدہ ہونے لگے اور وہ عوامی فنڈز کو یقینی بنانا چاہتے تھے۔ پاروکیئل اسکولوں میں جانے کا راستہ نہیں مل رہا تھا۔ کچھ نے فرقہ وارانہ اسکولوں کا موازنہ علیحدگی سے کیا اور ان پر جمہوریت میں رکاوٹ ڈالنے کا الزام لگایا۔
لازمی_خریداری_ان_انگلینڈ_اور_ویلز/انگلینڈ اور ویلز میں لازمی خریداری:
لازمی خریداری انگریزی زمینی قانون میں کسی اسٹیٹ پر حقوق حاصل کرنے کا اختیار ہے، یا معاوضے کے بدلے میں موجودہ مالک کی رضامندی کے بغیر اس اسٹیٹ کو مکمل طور پر خریدنا ہے۔ انگلینڈ اور ویلز میں، پارلیمنٹ نے کئی مختلف قسم کی لازمی خریداری کی طاقت دی ہے، جو مختلف اداروں کے ذریعے مختلف حالات میں استعمال کی جا سکتی ہے۔ اس طرح کے اختیارات "عوامی فائدے کے لیے" ہیں، لیکن اس اظہار کی تشریح بہت وسیع ہے۔
اسکاٹ لینڈ میں لازمی_خریداری_قانون/اسکاٹ لینڈ میں لازمی خریداری کے قوانین:
لازمی خریداری اسکاٹ لینڈ میں زمین حاصل کرنے کے اختیارات ہیں جو روایتی طور پر اسکاٹس کے قانون میں بعض عوامی اداروں کے لیے دستیاب تھے۔ اسکاٹس کا قانون لازمی خریداری کو زمین کی غیر رضاکارانہ منتقلی کے طور پر درجہ بندی کرتا ہے، کیونکہ جسمانی وراثتی جائیداد (زمین) کا مالک ملکیت کی منتقلی کے لیے رضامندی نہیں دیتا ہے۔ لازمی خریداری کے اختیارات دوسرے دائرہ اختیار سے ملتے جلتے ہیں، لیکن ایک جیسے نہیں ہیں، جو ایک جیسے تصورات اور ایک جیسی شرائط کا اشتراک کرتے ہیں۔ دیگر دائرہ اختیار کے برعکس، لینڈ ریفارم (اسکاٹ لینڈ) ایکٹ 2003 کے تحت غیر سرکاری اداروں کے ذریعے لازمی خریداری کے اختیارات استعمال کیے جا سکتے ہیں۔
Compulsory_purchase_order/ لازمی خریداری آرڈر:
ایک لازمی خریداری آرڈر (CPO؛ آئرش: Ordú Ceannach Éigeantach، Welsh: Gorchymyn prynu gorfodol) برطانیہ اور آئرلینڈ میں ایک قانونی فعل ہے جو بعض اداروں کو مالک کی رضامندی کے بغیر زمین یا جائیداد حاصل کرنے کی اجازت دیتا ہے۔ اگر کسی مجوزہ ترقی کو عوامی بہتری کے لیے سمجھا جائے تو اسے نافذ کیا جا سکتا ہے۔ مثال کے طور پر، موٹر ویز بناتے وقت جہاں کوئی زمیندار فروخت نہیں کرنا چاہتا۔ اسی طرح، اگر ٹاؤن کونسلیں ٹاؤن سینٹر تیار کرنا چاہیں، تو وہ لازمی خریداری کے آرڈر جاری کر سکتی ہیں۔ سی پی اوز کو تاریخی عمارتوں کو حاصل کرنے کے لیے بھی استعمال کیا جا سکتا ہے تاکہ انہیں نظر انداز کیے جانے سے بچایا جا سکے۔ معاوضے کے حقوق میں عام طور پر جائیداد کی قیمت، نئی جائیداد کے حصول اور منتقلی کے اخراجات اور بعض اوقات اضافی ادائیگیاں شامل ہوتی ہیں۔ معاوضے کے حوالے سے پیشہ ورانہ مشورے کی لاگت عام طور پر اتھارٹی کی طرف سے ادا کی جاتی ہے، تاکہ لازمی خریداری کے آرڈر سے متاثر ہونے والے لوگ ایک وکیل اور سرویئر سے مشورہ لے سکیں اور انہیں معاوضے کی توقع ہو۔
Compulsory_sterilisation_in_Sweden/سویڈن میں لازمی نس بندی:
سویڈن میں لازمی نس بندی وہ نس بندی تھی جو سویڈن میں، 1906-1975 کے دوران یوجینک، طبی اور سماجی بنیادوں پر، موضوع کی درست رضامندی کے بغیر کی گئی تھی۔ 1972 اور 2013 کے درمیان، نس بندی بھی صنف کی دوبارہ تفویض کی سرجری کے لیے ایک شرط تھی۔
Compulsory_sterilization/ لازمی نس بندی:
لازمی نس بندی، جسے جبری یا زبردستی نس بندی کے نام سے بھی جانا جاتا ہے، لوگوں کے ایک مخصوص گروپ کو غیر ارادی طور پر جراثیم سے پاک کرنے کے لیے حکومت کا ایک لازمی پروگرام ہے۔ لازمی نس بندی ایک شخص کی دوبارہ پیدا کرنے کی صلاحیت کو ہٹا دیتی ہے، عام طور پر جراحی کے طریقہ کار کے ذریعے۔ 20ویں صدی کے اوائل میں کئی ممالک نے نس بندی کے پروگرام کو نافذ کیا۔ اگرچہ دنیا کے بیشتر ممالک میں اس طرح کے پروگراموں کو غیر قانونی قرار دے دیا گیا ہے، لیکن جبری یا زبردستی نس بندی کے واقعات بدستور جاری ہیں۔ لازمی نس بندی کے لیے معقولیت میں یوجینکس، آبادی پر کنٹرول، صنفی امتیاز، ایچ آئی وی کے پھیلاؤ کو محدود کرنا، انٹر جنس لوگوں کے لیے "صنف کو معمول پر لانے والی" سرجری، اور نسلی نسل کشی شامل ہیں۔ کچھ ممالک میں، ٹرانس جینڈر افراد کو اپنی جنس کی قانونی شناخت حاصل کرنے سے پہلے نس بندی سے گزرنا پڑتا ہے، یہ ایک ایسا عمل ہے جسے اقوام متحدہ کے خصوصی نمائندے نے تشدد اور دیگر ظالمانہ، غیر انسانی یا ذلت آمیز سلوک یا سزا کو یوگیکارتا کے اصولوں کی خلاف ورزی قرار دیا ہے۔
Compulsory_sterilization_in_Canada/کینیڈا میں لازمی نس بندی:
کینیڈا میں لازمی نس بندی کی البرٹا، سسکیچیوان اور برٹش کولمبیا کے صوبوں میں دستاویزی تاریخ ہے۔ 2017 میں، ساسکیچیوان میں ساٹھ مقامی خواتین نے صوبائی حکومت پر مقدمہ دائر کیا، اور یہ دعویٰ کیا کہ انہیں اپنے نوزائیدہ بچوں کو دیکھنے سے پہلے نس بندی قبول کرنے پر مجبور کیا گیا تھا۔ کینیڈا کی لازمی نس بندی انہی مجموعی طریقہ کار کے ذریعے چلائی جاتی ہے جس طرح ریاستہائے متحدہ میں ادارہ جاتی نظام، فیصلہ اور سرجری ہے۔ امریکہ کے ایک قابل ذکر فرق غیر پاگل مجرموں کے ساتھ سلوک میں ہے۔ کینیڈا کی قانون سازی نے کبھی بھی قیدیوں کی تعزیری نس بندی کی اجازت نہیں دی۔
U.S._prison_system_میں_معذور_لوگوں کی_لازمی_نس بندی/امریکی جیل کے نظام میں معذور افراد کی لازمی نس بندی:
ریاستہائے متحدہ میں 1907 سے 1960 کی دہائی تک امریکی جیلوں کے نظام میں معذور افراد کی لازمی نس بندی کی اجازت دی گئی، اس دوران تقریباً 60,000 افراد کی نس بندی کی گئی، ان افراد میں سے دو تہائی خواتین تھیں۔ اس وقت کے دوران، لازمی نس بندی یوجینکس کی طرف سے حوصلہ افزائی کی گئی تھی. جب ریاستہائے متحدہ میں لازمی نس بندی کی بات آتی ہے اور ترقی کے لحاظ سے معذور افراد، امریکی جیلوں کے نظام اور پسماندہ کمیونٹیز سے متعلق لازمی نس بندی کی اجازت دینے والی قانون سازی کی بات آتی ہے تو اس کی ایک لمبی تاریخ ہے۔ لازمی نس بندی مرد اور عورت دونوں کی ناپسندیدہ اور/یا غیر متفقہ نس بندی ہے۔ خواتین کے لیے نس بندی کی بنیادی شکل ٹیوبل لنگیشن ہے اور مردوں کے لیے یہ نس بندی ہے۔
لازمی_اسٹاک_وابلیگی/لازمی اسٹاک کی ذمہ داری:
UK میں، ایک لازمی اسٹاک کی ذمہ داری (CSO) ایندھن کے ذخائر کا ایک کم از کم ذخیرہ ہے جو کہ یونائیٹڈ کنگڈم میں سپلائی کرنے والے کے پاس کمی یا سپلائی میں رکاوٹوں کے خلاف ہونا چاہیے۔ یہ اسکیم محکمہ تجارت اور صنعت (DTI) کے زیر انتظام ہے۔ کمپنیاں ایک ذمہ داری عائد کرتی ہیں اگر وہ 100,000 ٹن سالانہ یا اس سے زیادہ ایندھن کے حجم کی سپلائر ہیں۔ اس ذمہ داری کا اندازہ 67.5 دنوں کے اسٹاک (برطانیہ کے لیے 50 دن) کے طور پر کیا جاتا ہے۔
لازمی_تجارت/لازمی تجارت:
کینیڈا میں، ایک لازمی تجارت ایک ہنر مند تجارت ہے جس میں تجارت میں مصروف افراد کی حکومتی تصدیق کی ضرورت ہوتی ہے۔ عام طور پر، ایک باضابطہ تربیتی پروگرام جیسا کہ ایک اپرنٹس شپ کی ضرورت ہوتی ہے، اور ایک پریکٹیشنر کو لائسنس حاصل کرنے سے پہلے بطور ٹریولپرسن تصدیق شدہ ہونا ضروری ہے۔ اس کے برعکس، رضاکارانہ تجارت ایک ایسی تجارت ہے جہاں پریکٹس کرنے کے لیے سرٹیفیکیشن یا لائسنس کی ضرورت نہیں ہوتی ہے۔ مثال کے طور پر، اونٹاریو میں، اس وقت 23 ہنر مند تجارتیں ہیں جنہیں "لازمی" قرار دیا گیا ہے۔
لازمی ووٹنگ/ لازمی ووٹنگ:
لازمی ووٹنگ، جسے لازمی ووٹنگ بھی کہا جاتا ہے، کچھ ممالک میں یہ شرط ہے کہ اہل شہری انتخابات میں رجسٹر ہوں اور ووٹ دیں۔ بغیر کسی معقول وجہ کے ایسا کرنے میں ناکام رہنے والوں پر جرمانے عائد کیے جا سکتے ہیں۔ سی آئی اے ورلڈ فیکٹ بک کے مطابق، 10 لاطینی امریکی ممالک سمیت 21 ممالک نے دسمبر 2021 تک باضابطہ طور پر لازمی ووٹنگ کی تھی، ان میں سے بہت سے ممالک نے اسے نافذ نہیں کیا۔ ووٹ دینے کے لیے کسی پارٹی کا انتخاب کرنا واجب نہیں ہے، کیونکہ خالی ووٹ ڈالے جا سکتے ہیں، اور شمار کیے جاتے ہیں۔ 21ویں صدی کی پہلی دو دہائیوں کے دوران، ساموا اور بلغاریہ میں لازمی ووٹنگ متعارف کرائی گئی، جب کہ چلی، قبرص، ڈومینیکن ریپبلک، فجی اور پیراگوئے نے اسے منسوخ کر دیا۔
Compunet/Compunet:
Compunet یونائیٹڈ کنگڈم پر مبنی انٹرایکٹو سروس فراہم کنندہ تھا، جو بنیادی طور پر کموڈور 64 کے لیے کیٹرنگ کرتا تھا لیکن بعد میں کموڈور امیگا اور اٹاری ایس ٹی کے لیے۔ اسے اس کے صارفین CNet کے نام سے بھی جانتے تھے۔ یہ 1984 سے مئی 1993 تک جاری رہا۔
Compunetix/Compunetix:
Compunetix, Inc. ایک نجی طور پر منعقد کارپوریشن ہے جس کا صدر دفتر Monroeville, Pennsylvania, United States میں ہے، جو دنیا بھر میں تجارتی اور سرکاری بازاروں میں آڈیو کانفرنسنگ، ویڈیو کانفرنسنگ، اور مشن کے لیے اہم ایپلی کیشنز کے لیے ملٹی میڈیا ملٹی پوائنٹ ٹیلی کمیونیکیشن سسٹم تیار کرتا ہے۔ 1968 میں قائم ہونے والے، Compunetix کے پاس اب 30 سے ​​زائد ممالک میں 10 لاکھ سے زیادہ بندرگاہیں ہیں، جو اسے دنیا بھر میں ٹیلی کانفرنسنگ سسٹم کی صنعت کا سب سے بڑا تعینات کرنے والا بناتا ہے۔
کمپوفونک/کمپوفونک:
کمپوفونک ایک الیکٹرانک میوزک ریکارڈ لیبل ہے جسے کرس مینیس نے اپنی پروڈکشنز کے لیے کھیل کے میدان کے طور پر تخلیق کیا ہے۔ کرس مینیس کے علاوہ جو فنکار کمپوفونک پر ریلیز میں نمایاں ہوئے ہیں وہ ہیں فیلکس ڈا ہاؤس کیٹ، فریڈ فالک، رومانتھونی، رابرٹ اوونس، مس کیٹن، سائمن لارڈ، زیویر نائیڈو، انائی، تھامس گینڈے، سپوکی، چیلونس آر جونز، ڈوز، جولین ہیملٹن دی پری سیٹس، ریکس دی ڈاگ اور دیگر۔
کمپیوپریس/کمپوپریس:
کمپوپریس ایک یونانی پبلشنگ کمپنی ہے جو 1982 میں بنائی گئی تھی۔ اصل میں کمپنی کمپیوٹر میگزین اور کتابیں شائع کرنے کے لیے بنائی گئی تھی۔ کمپیوٹر میگزین مارکیٹ کے زوال کے بعد، کمپنی نے فنتاسی اور سائنس فکشن، مزاحیہ کتابیں اور گرافک ناولز، مانگا اور بچوں کے رسالے شائع کرنے کے لیے توسیع کی۔
تسخیر/تعفیف:
کمپریگیشن، جسے حلف کے ذریعے ٹرائل، قانون کی دوڑ، اور حلف کی مدد بھی کہا جاتا ہے، ایک دفاع تھا جو بنیادی طور پر قرون وسطی کے قانون میں استعمال ہوتا تھا۔ ایک مدعا علیہ حلف اٹھا کر اور مطلوبہ تعداد میں افراد، عام طور پر بارہ، حلف اٹھا کر مدعا علیہ کے حلف پر یقین کر کے اپنی بے گناہی یا عدم ذمہ داری کو قائم کر سکتا ہے۔ قانون کی شرط بنیادی طور پر ایک کردار کا حوالہ تھا، ابتدائی طور پر رشتہ داروں کی طرف سے اور بعد میں پڑوسیوں کے ذریعہ (مدعا علیہ کے طور پر اسی علاقے سے)، اکثر 11 یا 12 آدمی، اور یہ ایک وقت میں مدعا علیہ کے حلف کو اعتبار دینے کا ایک طریقہ تھا۔ جب کسی شخص کا حلف تحریری ریکارڈ سے زیادہ معتبر ہوتا ہے۔ اس کا موازنہ قانونی دانو سے کیا جا سکتا ہے، جو غیر قانونی قانونی چارہ جوئی کو کم کرنے کے لیے قانونی کارروائی کے آغاز میں ضمانت کی فراہمی ہے۔ ابتدائی جرمن قانون میں، ابتدائی فرانسیسی قانون (très ancienne coutume de Bretagne) میں، ویلش کے قانون میں، اور سترھویں صدی تک انگریزی کلیسیائی عدالتوں میں Compurgation پایا گیا۔ کامن لا میں اسے 1164 میں کلیرینڈن کے آئین کے ذریعے جرم میں دفاع کے طور پر کافی حد تک ختم کر دیا گیا تھا۔ دفاع کو قرض کے لیے شہری کارروائیوں میں اب بھی اجازت تھی اور اس کے آثار اس وقت تک زندہ رہے جب تک کہ کامن لا ممالک میں مختلف اوقات میں اس کی قانونی منسوخی نہ ہو: انگلینڈ میں 1833، اور کوئنز لینڈ کسی وقت کوئینز لینڈ کامن پریکٹس ایکٹ آف 1867 سے پہلے جو قانون کی شرط کے خاتمے کا براہ راست حوالہ دیتا ہے۔ "قانون کا داغ، صدیوں سے متروک" "ایک زندہ فوسل... ایک مردہ خط کا قانون" تھا اور اسے 1833 میں انگلینڈ میں ختم کر دیا گیا تھا۔
Compuscan/Compuscan:
Compuscan جنوبی افریقہ کا کریڈٹ بیورو ہے جو جنوبی افریقہ اور دیگر افریقی ممالک میں صارفین اور تجارتی کریڈٹ کی معلومات فراہم کرتا ہے۔ 1994 میں قائم کیا گیا اور اس کا صدر دفتر اسٹیلن بوش، جنوبی افریقہ میں ہے، Compuscan جنوبی افریقہ میں قائم Compuscan انفارمیشن ٹیکنالوجیز کا ذیلی ادارہ ہے۔ کمپنی، جس کی اصل توجہ مائیکرو کریڈٹ لین دین کے لیے کریڈٹ ہسٹری رپورٹنگ فراہم کرنے پر تھی، جنوبی افریقہ کے معروف کریڈٹ بیورو میں شامل ہے اور ملک کی کریڈٹ بیورو ایسوسی ایشن کی رکن ہے۔ کمپنی بوٹسوانا اور نمیبیا کی ہمسایہ ریاستوں میں مائیکرو کریڈٹ رپورٹنگ کی خدمات بھی فراہم کرتی ہے۔ 2006 میں، Compuscan کو بینک آف یوگنڈا نے پہلا یوگنڈا کریڈٹ ریفرنس بیورو بنانے کے لیے منتخب کیا تھا۔ یہ نظام، جو کہ 2008 میں باضابطہ طور پر متعارف کرایا گیا تھا، یوگنڈا کے مالیاتی اداروں سے قرض لینے والے کی شناخت کے پروگرام کے حصے کے طور پر اپنے قرض لینے والوں کو سمارٹ کارڈ جاری کرنے کی ضرورت تھی۔
کمپوسٹیٹ/کمپوسٹیٹ:
Compustat پوری دنیا میں فعال اور غیر فعال عالمی کمپنیوں کے بارے میں مالی، شماریاتی اور مارکیٹ کی معلومات کا ڈیٹا بیس ہے۔ سروس 1962 میں شروع ہوئی۔ یہ ڈیٹا بیس ادارہ جاتی سرمایہ کاروں، یونیورسٹیوں، بینکرز، مشیروں، تجزیہ کاروں، اور کارپوریٹ، M&A، نجی سرمایہ، ایکویٹی، اور مقررہ آمدنی والے بازاروں میں اثاثہ/پورٹ فولیو مینیجرز کو ہدایت کردہ مصنوعات فراہم کرتا ہے۔ ڈیٹا بیس 99,000 عالمی سیکیورٹیز کا احاطہ کرتا ہے، جس میں دنیا کی کل مارکیٹ کیپٹلائزیشن کا 99% احاطہ کرتا ہے جس میں کمپنی کی سالانہ ڈیٹا ہسٹری 1950 تک دستیاب ہے اور 1962 تک دستیاب سہ ماہی ڈیٹا (اس پر منحصر ہے کہ اس کمپنی کو ڈیٹا بیس میں کب شامل کیا گیا تھا)۔ درج ذیل معلومات دستیاب ہیں: Compustat شمالی امریکہ، Compustat International، Compustat Global، اور Compustat Point-in-Time ڈیٹا بشمول CUSIP، ISIN، اور SEDOLIntegrated Databases، بشمول GICS، NAICS اور SIC کلیدی مارکیٹ کے شناخت کنندگان کے ذریعے صنعت کی درجہ بندی اور کائنات کے انتظام کے بنیادی اصولوں کا ڈیٹا بیس ماہانہ اور روزانہ ڈیٹا سٹینڈرڈ اینڈ پوئرز اور دیگر سرکردہ انڈیکس ڈیٹا کیپٹل آئی کیو اور تھامسن I/B/E/S سے اعداد و شمار کا تخمینہ لگاتا ہے جس میں کاروباری تفصیلات، افسر کی معلومات، اور ایگزیکٹو معاوضہ کارپوریٹ ایکشنز اور اندرونی اور ادارہ جاتی ہولڈنگز پروپرائٹری ڈیٹا کیپٹل IQ کوالٹیٹیو ڈیٹا سٹینڈرڈ اینڈ پورز اسٹاک کی رپورٹ معیاری اور غریب کی صنعت کے سروے معیاری اور پو r کی جاری کنندہ کریڈٹ ریٹنگز
کمپیوٹیبلٹی/ کمپیوٹیبلٹی:
کمپیوٹیبلٹی ایک مؤثر طریقے سے ایک مسئلہ کو حل کرنے کی صلاحیت ہے. یہ ریاضیاتی منطق کے اندر کمپیوٹیبلٹی تھیوری اور کمپیوٹر سائنس کے اندر کمپیوٹیشن تھیوری کا ایک اہم موضوع ہے۔ کسی مسئلے کی کمپیوٹیبلٹی کا مسئلہ حل کرنے کے لیے الگورتھم کے وجود سے گہرا تعلق ہے۔ کمپیوٹیبلٹی کے سب سے بڑے پیمانے پر مطالعہ کیے جانے والے ماڈلز ہیں ٹیورنگ کمپیوٹیبل اور μ-ریکریسیو فنکشنز، اور لیمبڈا کیلکولس، جن میں سے سبھی کمپیوٹیشنل طور پر مساوی طاقت رکھتے ہیں۔ کمپیوٹیبلٹی کی دوسری شکلوں کا بھی مطالعہ کیا جاتا ہے: ٹورنگ مشینوں سے کمزور کمپیوٹیبلٹی تصورات کا مطالعہ آٹو میٹا تھیوری میں کیا جاتا ہے، جب کہ ٹیورنگ مشینوں سے زیادہ مضبوط کمپیوٹیبلٹی تصورات کا مطالعہ ہائپر کمپیوٹیشن کے میدان میں کیا جاتا ہے۔
تجزیہ اور طبیعیات میں کمپیوٹیبلٹی/ تجزیہ اور طبیعیات میں کمپیوٹیبلٹی:
تجزیہ اور طبیعیات میں کمپیوٹیبلٹی، ماریان پور-ایل اور جے ایان رچرڈز کا شماریاتی تجزیہ پر ایک مونوگراف ہے۔ اسے Springer-Verlag نے 1989 میں ان کے تناظر میں ریاضی کی منطق کی سیریز میں شائع کیا تھا، اور ایسوسی ایشن فار سمبولک لاجک اور کیمبرج یونیورسٹی پریس نے 2016 میں اپنے تناظر میں منطق کی سیریز میں دوبارہ شائع کیا تھا۔
کمپیوٹیبلٹی_ان_یورپ/یورپ میں کمپیوٹیبلٹی:
The Association Computability in Europe (ACiE) ریاضی دانوں، منطق دانوں، کمپیوٹر سائنس دانوں، فلسفیوں، نظریاتی طبیعیات دانوں اور دیگر افراد کی ایک بین الاقوامی تنظیم ہے جو کمپیوٹیبلٹی میں نئی ​​پیش رفت اور حقیقی دنیا کے لیے ان کی بنیادی اہمیت میں دلچسپی رکھتے ہیں۔ CiE کا مقصد کمپیوٹیبلٹی تھیوری کے تصورات اور تکنیکوں کی اہمیت کو سمجھنے اور اس کی تعریف کو وسیع کرنا ہے، اور کمپیوٹیبلٹی سے متعلقہ موضوعات پر توجہ مرکوز کرنے والے محققین کی ایک متحرک کثیر الشعبہ کمیونٹی کی ترقی میں مدد کرنا ہے۔ ACiE خود کو لاگو اور بنیادی تحقیق کے درمیان انٹرفیس پر رکھتا ہے، کمپیوٹیشنل رکاوٹوں کے لیے ریاضی کے طریقوں کو ترجیح دیتا ہے۔ ایسوسی ایشن کمپیوٹیبلٹی ان یوروپ 2003 میں کمپیوٹیبلٹی ان یوروپ (CiE) کے نام سے ایک ریسرچ نیٹ ورک کے طور پر شروع ہوئی، 2005 میں ایک کانفرنس سیریز بن گئی، اور ACiE 2008 میں تشکیل دی گئی۔
Computability_logic/Computability logic:
کمپیوٹیبلٹی لاجک (CoL) ایک تحقیقی پروگرام اور ریاضیاتی فریم ورک ہے جو منطق کو کمپیوٹیبلٹی کے ایک منظم رسمی نظریہ کے طور پر دوبارہ تیار کرنے کے لیے ہے، جو کلاسیکی منطق کے برخلاف ہے جو کہ سچائی کا ایک رسمی نظریہ ہے۔ اسے 2003 میں Giorgi Japaridze نے متعارف کرایا تھا اور اس کا نام دیا گیا تھا۔ کلاسیکی منطق میں، فارمولے صحیح/غلط بیانات کی نمائندگی کرتے ہیں۔ CoL میں، فارمولے کمپیوٹیشنل مسائل کی نمائندگی کرتے ہیں۔ کلاسیکی منطق میں، کسی فارمولے کی درستگی کا انحصار صرف اس کی شکل پر ہوتا ہے، اس کے معنی پر نہیں۔ CoL میں، validity کا مطلب ہے ہمیشہ کمپیوٹیبل ہونا۔ زیادہ عام طور پر، کلاسیکی منطق ہمیں بتاتی ہے کہ جب دیئے گئے بیان کی سچائی ہمیشہ دوسرے بیانات کے دیے گئے سیٹ کی سچائی کی پیروی کرتی ہے۔ اسی طرح، CoL ہمیں بتاتا ہے کہ کب دیے گئے مسئلے A کی کمپیوٹیبلٹی دوسرے دیے گئے مسائل B1,...,Bn کی کمپیوٹیبلٹی سے ہوتی ہے۔ مزید یہ کہ یہ B1,...,Bn کے کسی بھی معلوم حل سے ایسے A کے لیے درحقیقت ایک حل (الگورتھم) بنانے کا یکساں طریقہ فراہم کرتا ہے۔ CoL کمپیوٹیشنل مسائل کو ان کے عمومی ترین - انٹرایکٹو معنوں میں تشکیل دیتا ہے۔ CoL ایک کمپیوٹیشنل مسئلہ کو اس کے ماحول کے خلاف مشین کے ذریعے کھیلے جانے والے کھیل کے طور پر بیان کرتا ہے۔ اگر کوئی ایسی مشین ہو جو ماحول کے ہر ممکنہ رویے کے خلاف گیم جیتتی ہو تو اس طرح کا مسئلہ قابلِ حساب ہے۔ اس طرح کی گیم پلےنگ مشین چرچ ٹورنگ تھیسس کو انٹرایکٹو لیول پر عام کرتی ہے۔ سچائی کا کلاسیکی تصور کمپیوٹیبلٹی کا ایک خاص، صفر انٹرایکٹیویٹی ڈگری کیس بنتا ہے۔ یہ کلاسیکی منطق کو CoL کا ایک خاص ٹکڑا بناتا ہے۔ اس طرح CoL کلاسیکی منطق کی ایک قدامت پسند توسیع ہے۔ کمپیوٹیبلٹی منطق کلاسیکی منطق سے زیادہ اظہار خیال، تعمیری اور کمپیوٹیشنل معنی خیز ہے۔ کلاسیکی منطق کے علاوہ، آزادی کے موافق (IF) منطق اور لکیری منطق کی کچھ مناسب توسیعات اور intuitionistic logic بھی CoL کے قدرتی ٹکڑے بنتے ہیں۔ اس لیے CoL کے سیمنٹکس سے "Intuitionistic Truth"، "linear-logic truth" اور "IF-logic truth" کے معنی خیز تصورات اخذ کیے جا سکتے ہیں۔ CoL منظم طریقے سے اس بنیادی سوال کا جواب دیتا ہے کہ کیا شمار کیا جا سکتا ہے اور کیسے؛ اس طرح CoL کے پاس بہت سے ایپلی کیشنز ہیں، جیسے کہ تعمیری اپلائیڈ تھیوریز، نالج بیس سسٹم، پلاننگ اور ایکشن کے نظام۔ ان میں سے، اب تک صرف تعمیری لاگو نظریات میں ایپلی کیشنز کی وسیع پیمانے پر کھوج کی گئی ہے: CoL پر مبنی نمبر تھیوریوں کی ایک سیریز، جسے "کلیریتھمیٹکس" کہا جاتا ہے، کلاسیکی منطق پر مبنی پیانو کے کمپیوٹیشنل اور پیچیدگی کے نظریاتی طور پر معنی خیز متبادل کے طور پر بنایا گیا ہے۔ ریاضی اور اس کے تغیرات جیسے پابند ریاضی کے نظام۔ روایتی ثبوت کے نظام جیسے قدرتی کٹوتی اور سیکوئنٹ کیلکولس CoL کے غیر معمولی ٹکڑوں کو محوری بنانے کے لیے ناکافی ہیں۔ اس سے ثبوت کے متبادل، زیادہ عام اور لچکدار طریقے تیار کرنے کی ضرورت پڑ گئی ہے، جیسے سرکیونٹ کیلکولس۔
Computability_theory/Computability تھیوری:
کمپیوٹیبلٹی تھیوری، جسے ریکرشن تھیوری بھی کہا جاتا ہے، ریاضیاتی منطق، کمپیوٹر سائنس، اور تھیوری آف کمپیوٹیشن کی ایک شاخ ہے جس کی ابتدا 1930 کی دہائی میں کمپیوٹیبل فنکشنز اور ٹیورنگ ڈگریوں کے مطالعہ سے ہوئی۔ اس کے بعد سے اس فیلڈ کو وسیع کیا گیا ہے تاکہ عام کمپیوٹیبلٹی اور ڈیفینیبلٹی کا مطالعہ شامل ہو۔ ان علاقوں میں، کمپیوٹیبلٹی تھیوری پروف تھیوری اور موثر وضاحتی سیٹ تھیوری کے ساتھ اوورلیپ ہوتی ہے۔ کمپیوٹیبلٹی تھیوری کے ذریعے جن بنیادی سوالات کو حل کیا گیا ہے ان میں شامل ہیں: قدرتی نمبروں پر کسی فنکشن کا کمپیوٹیبل ہونے کا کیا مطلب ہے؟ نان کمپیوٹیبل فنکشنز کو ان کی نان کمپیوٹیبلٹی کی سطح کی بنیاد پر درجہ بندی میں کیسے درجہ بندی کیا جاسکتا ہے؟اگرچہ علم اور طریقوں کے لحاظ سے کافی حد تک اوورلیپ ہے، ریاضیاتی کمپیوٹیبلٹی تھیوریسٹ رشتہ دار کمپیوٹیبلٹی کے نظریہ، تخفیف کے تصورات، اور ڈگری کے ڈھانچے کا مطالعہ کرتے ہیں۔ وہ لوگ جو کمپیوٹر سائنس کے شعبے میں ہیں وہ نظریہ ذیلی درجہ بندی، رسمی طریقوں، اور رسمی زبانوں پر توجہ مرکوز کرتے ہیں۔
Computable_Document_Format/Computable Document Format:
کمپیوٹیبل ڈاکومنٹ فارمیٹ (CDF) ایک الیکٹرانک دستاویز کی شکل ہے جو متحرک طور پر تخلیق کردہ، انٹرایکٹو مواد کی تصنیف کی اجازت دینے کے لیے ڈیزائن کی گئی ہے۔ CDF کو Wolfram Research نے بنایا تھا، اور CDF فائلیں Mathematica کا استعمال کرتے ہوئے بنائی جا سکتی ہیں۔ 2021 تک، وولفرم ریسرچ ویب سائٹ CDF کو "وراثت" فارمیٹ کے طور پر درج کرتی ہے۔
کمپیوٹیبل_تجزیہ/ کمپیوٹیبل تجزیہ:
ریاضی اور کمپیوٹر سائنس میں، کمپیوٹیبل تجزیہ شماریاتی نظریہ کے نقطہ نظر سے ریاضیاتی تجزیہ کا مطالعہ ہے۔ اس کا تعلق حقیقی تجزیہ اور فنکشنل تجزیہ کے ان حصوں سے ہے جو قابل حساب انداز میں انجام پا سکتے ہیں۔ فیلڈ کا تعمیری تجزیہ اور عددی تجزیہ سے گہرا تعلق ہے۔ ایک قابل ذکر نتیجہ یہ ہے کہ انضمام (ریمن انٹیگرل کے معنی میں) کمپیوٹیبل ہے۔ یہ حیران کن سمجھا جا سکتا ہے کیونکہ ایک اٹوٹ (ڈھیلی زبان میں) ایک لامحدود رقم ہے۔ جبکہ اس نتیجے کی وضاحت اس حقیقت سے کی جا سکتی ہے کہ [ 0 , 1 ] {\displaystyle \mathbb {[} 0,1]} سے R {\displaystyle \mathbb {R} } تک ہر شماریاتی فنکشن یکساں طور پر مسلسل ہے، قابل ذکر چیز یہ ہے کہ تسلسل کے ماڈیولس کو واضح طور پر دیئے بغیر ہمیشہ شمار کیا جاسکتا ہے۔ اسی طرح کی ایک حیران کن حقیقت یہ ہے کہ پیچیدہ افعال کی تفریق بھی قابل شمار ہے، جبکہ وہی نتیجہ حقیقی افعال کے لیے غلط ہے۔ مندرجہ بالا حوصلہ افزا نتائج بشپ کے تعمیری تجزیے میں کوئی ہمنوا نہیں ہیں۔ اس کے بجائے، یہ بروور کے ذریعہ تیار کردہ تعمیری تجزیہ کی مضبوط شکل ہے جو تعمیری منطق میں ہم منصب فراہم کرتی ہے۔
کمپیوٹیبل_فنکشن/ کمپیوٹیبل فنکشن:
کمپیوٹیبل فنکشن کمپیوٹیبلٹی تھیوری میں مطالعہ کی بنیادی چیزیں ہیں۔ کمپیوٹیبل فنکشنز الگورتھم کے بدیہی تصور کا باضابطہ اینالاگ ہیں، اس معنی میں کہ ایک فنکشن کمپیوٹیبل ہے اگر کوئی الگورتھم موجود ہو جو فنکشن کا کام کرسکتا ہو، یعنی فنکشن ڈومین کا ان پٹ دیا جائے تو یہ متعلقہ آؤٹ پٹ واپس کرسکتا ہے۔ کمپیوٹیبل فنکشنز کا استعمال کمپیوٹیبلٹی کے بارے میں بات کرنے کے لیے کیا جاتا ہے بغیر کسی کمپیوٹیشن کے ٹھوس ماڈل جیسے کہ ٹورنگ مشینیں یا رجسٹر مشین۔ تاہم، کسی بھی تعریف کو حساب کے کچھ مخصوص ماڈل کا حوالہ دینا ضروری ہے لیکن تمام درست تعریفیں ایک ہی کلاس کے افعال پیدا کرتی ہیں۔ کمپیوٹیبلٹی کے خاص ماڈل جو کمپیوٹیبل فنکشنز کے سیٹ کو جنم دیتے ہیں وہ ہیں ٹیورنگ کمپیوٹیبل فنکشنز اور عام ریکرسیو فنکشنز۔ کمپیوٹیبل فنکشن کی قطعی تعریف سے پہلے، ریاضی دان اکثر غیر رسمی اصطلاح کو مؤثر طریقے سے قابل حساب استعمال کرتے تھے۔ اس اصطلاح کو کمپیوٹیبل فنکشنز کے ساتھ شناخت کیا گیا ہے۔ نوٹ کریں کہ ان فنکشنز کی مؤثر کمپیوٹیبلٹی کا مطلب یہ نہیں ہے کہ ان کی مؤثر طریقے سے گنتی کی جا سکتی ہے (یعنی ایک مناسب وقت کے اندر شمار کی جاتی ہے)۔ درحقیقت، کچھ مؤثر طریقے سے کیلکولیبل فنکشنز کے لیے یہ دکھایا جا سکتا ہے کہ کوئی بھی الگورتھم جو ان کی گنتی کرتا ہے وہ اس لحاظ سے بہت ناکارہ ہو گا کہ الگورتھم کا چلنے کا وقت ان پٹ کی لمبائی کے ساتھ تیزی سے (یا حتیٰ کہ انتہائی حد تک) بڑھتا ہے۔ قابل عمل کمپیوٹیبلٹی کے شعبے اور کمپیوٹیشنل پیچیدگی کے مطالعہ کے افعال جن کی مؤثر طریقے سے گنتی کی جا سکتی ہے۔ چرچ ٹورنگ تھیسس کے مطابق، کمپیوٹیبل فنکشنز بالکل وہی فنکشنز ہیں جن کا حساب مکینیکل کیلکولیشن ڈیوائس کے ذریعے کیا جا سکتا ہے جس میں لامحدود وقت اور ذخیرہ کرنے کی جگہ دی جاتی ہے۔ مساوی طور پر، یہ مقالہ یہ بتاتا ہے کہ ایک فنکشن کمپیوٹیبل ہے اگر اور صرف اس صورت میں جب اس میں الگورتھم ہو۔ نوٹ کریں کہ اس معنی میں ایک الگورتھم کو ان اقدامات کا ایک سلسلہ سمجھا جاتا ہے جو ایک شخص کے لامحدود وقت اور قلم اور کاغذ کی لامحدود فراہمی کے ساتھ ہوسکتا ہے۔ بلم محور کو کمپیوٹیبل فنکشنز کے سیٹ پر ایک تجریدی کمپیوٹیشنل پیچیدگی تھیوری کی وضاحت کے لیے استعمال کیا جا سکتا ہے۔ کمپیوٹیشنل کمپلیکٹی تھیوری میں، کمپیوٹیبل فنکشن کی پیچیدگی کا تعین کرنے کے مسئلے کو فنکشن کا مسئلہ کہا جاتا ہے۔
کمپیوٹیبل_جنرل_مساوات/قابل شماری عمومی توازن:
کمپیوٹیبل جنرل توازن (CGE) ماڈل معاشی ماڈلز کی ایک کلاس ہیں جو حقیقی معاشی ڈیٹا کا استعمال کرتے ہوئے اندازہ لگاتے ہیں کہ پالیسی، ٹیکنالوجی یا دیگر بیرونی عوامل میں ہونے والی تبدیلیوں پر معیشت کیسے رد عمل ظاہر کر سکتی ہے۔ CGE ماڈلز کو AGE (Applied General equilibrium) ماڈل بھی کہا جاتا ہے۔
Computable_isomorphism/Computable isomorphism:
کمپیوٹیبلٹی تھیوری میں دو سیٹ A؛ B ⊆ N {\displaystyle A;B\subseteq \mathbb {N} } قدرتی اعداد کمپیوٹیبل طور پر isomorphic یا recursively isomorphic ہیں اگر کوئی کل bijective computable function موجود ہو f : N → N {\displaystyle f\colon \mathbb {N} \to \mathbb {N} } کے ساتھ f ( A ) = B {\displaystyle f(A)=B} ۔ Myhill isomorphism theorem کے مطابق، computable isomorphism کا رشتہ باہمی ون ون reducibility کے تعلق سے ملتا ہے۔ دو عدد ν {\displaystyle \nu } اور μ {\displaystyle \mu } کو کمپیوٹیبل آئیسومورفک کہا جاتا ہے اگر کوئی کمپیوٹیبل بائیجیکشن f {\displaystyle f} موجود ہو تاکہ ν = μ ∘ f {\displaystyle \nu =\mu \circ f} computably isomorphic numberings ایک سیٹ پر کمپیوٹیبلٹی کا ایک ہی تصور پیدا کرتے ہیں۔
کمپیوٹیبل_میسر_تھیوری/ کمپیوٹیبل پیمائش تھیوری:
ریاضی میں، کمپیوٹیبل پیمائش تھیوری کمپیوٹیبل تجزیہ کا وہ حصہ ہے جو پیمائش تھیوری کے موثر ورژن سے متعلق ہے۔
کمپیوٹیبل_ماڈل_تھیوری/ کمپیوٹیبل ماڈل تھیوری:
کمپیوٹیبل ماڈل تھیوری ماڈل تھیوری کی ایک شاخ ہے جو کمپیوٹیبلٹی کے سوالات سے نمٹتی ہے کیونکہ وہ ماڈل نظریاتی ڈھانچے پر لاگو ہوتے ہیں۔ کمپیوٹیبل ماڈل تھیوری کمپیوٹیبل اور قابل فیصلہ ماڈلز اور تھیوریز کے آئیڈیاز کو متعارف کراتی ہے اور بنیادی مسائل میں سے ایک یہ دریافت کرنا ہے کہ آیا مخصوص ماڈل نظریاتی شرائط کو پورا کرنے والے کمپیوٹیبل یا فیصلہ کن ماڈلز کا وجود دکھایا جا سکتا ہے یا نہیں۔ کمپیوٹیبل ماڈل تھیوری تقریباً بیک وقت مغرب میں ریاضی دانوں نے تیار کی تھی، جو بنیادی طور پر امریکہ اور آسٹریلیا اور سوویت روس میں 20ویں صدی کے وسط میں واقع تھی۔ سرد جنگ کی وجہ سے ان دو گروہوں کے درمیان بہت کم رابطہ تھا اور اس لیے بہت سے اہم نتائج آزادانہ طور پر دریافت ہوئے۔
قابل شمار_نمبر/قابل شماری نمبر:
ریاضی میں، کمپیوٹیبل نمبرز حقیقی اعداد ہیں جن کا شمار کسی بھی مطلوبہ درستگی کے اندر ایک محدود، ختم کرنے والے الگورتھم کے ذریعے کیا جا سکتا ہے۔ انہیں تکراری اعداد، موثر اعداد یا شمار کرنے والے حقیقی یا تکراری حقیقی کے نام سے بھی جانا جاتا ہے۔ μ- تکراری افعال، ٹورنگ مشین، یا λ-کیلکولس کو الگورتھم کی رسمی نمائندگی کے طور پر استعمال کرتے ہوئے مساوی تعریفیں دی جا سکتی ہیں۔ کمپیوٹیبل نمبرز ایک حقیقی بند فیلڈ بناتے ہیں اور بہت سے، لیکن تمام نہیں، ریاضی کے مقاصد کے لیے حقیقی نمبروں کی جگہ استعمال کیے جا سکتے ہیں۔
کمپیوٹیبل_آرڈینل/ کمپیوٹیبل آرڈینل:
ریاضی میں، خاص طور پر کمپیوٹیبلٹی اور سیٹ تھیوری میں، ایک آرڈینل α {\displaystyle \alpha } کو کمپیوٹیبل یا تکراری کہا جاتا ہے اگر قدرتی نمبروں کے ذیلی سیٹ کی ترتیب کی قسم α {\displaystyle \alpha ہو } یہ چیک کرنا آسان ہے کہ ω {\displaystyle \omega } کمپیوٹیبل ہے۔ کمپیوٹیبل آرڈینل کا جانشین کمپیوٹیبل ہے، اور تمام کمپیوٹیبل آرڈینلز کا سیٹ نیچے کی طرف بند ہے۔ تمام کمپیوٹیبل آرڈینلز کی بالادستی کو چرچ – کلین آرڈینل کہا جاتا ہے، جو پہلا غیر تکراری آرڈینل ہے، اور ω 1 C K {\displaystyle \omega _{1}^{CK}} سے ظاہر ہوتا ہے۔ چرچ – کلین آرڈینل ایک حد آرڈینل ہے۔ ایک آرڈینل قابل شمار ہوتا ہے اگر اور صرف اس صورت میں جب یہ ω 1 C K {\displaystyle \omega _{1}^{CK}} سے چھوٹا ہو۔ چونکہ صرف گنتی کے طور پر بہت سارے کمپیوٹیبل تعلقات ہیں، اس لیے صرف گنتی کے طور پر بہت سے کمپیوٹیبل آرڈینلز بھی ہیں۔ اس طرح، ω 1 C K {\displaystyle \omega _{1}^{CK}} قابل شمار ہے۔ کمپیوٹیبل آرڈینلز بالکل وہی آرڈینلز ہیں جن کا کلین کے O {\displaystyle {\mathcal {O}}} میں ایک آرڈینل نوٹیشن ہے۔
Computable_real_function/Computable اصلی فنکشن:
ریاضیاتی منطق میں، خاص طور پر کمپیوٹیبلٹی تھیوری، ایک فنکشن f : R → R {\displaystyle f\colon \mathbb {R} \to \mathbb {R} } ترتیب وار شمار ہوتا ہے اگر، ہر شماریاتی ترتیب کے لیے { x i } i = 1 ∞ {\displaystyle \{x_{i}\}_{i=1}^{\infty }} حقیقی اعداد کی، ترتیب { f ( x i ) } i = 1 ∞ {\displaystyle \{f(x_{i} )\}_{i=1}^{\infty }} بھی قابل شمار ہے۔ ایک فنکشن f : R → R {\displaystyle f\colon \mathbb {R} \to \mathbb {R} } مؤثر طریقے سے یکساں طور پر مسلسل ہے اگر کوئی تکراری فنکشن موجود ہے d : N → N {\displaystyle d\colon \mathbb { N} \to \mathbb {N} } اس طرح کہ، اگر | x − y | < 1 d ( n ) {\displaystyle |xy|<{1 \over d(n)}} پھر | f ( x ) − f ( y ) | < 1 n {\displaystyle |f(x)-f(y)|<{1 \over n}} ایک حقیقی فنکشن قابل شمار ہوتا ہے اگر یہ ترتیب وار کمپیوٹیبل اور مؤثر طریقے سے یکساں طور پر مسلسل ہو، ان تعریفوں کو زیادہ کے افعال کے لیے عمومی بنایا جا سکتا ہے۔ ایک سے زیادہ متغیر یا افعال صرف R n کے ذیلی سیٹ پر بیان کیے گئے ہیں۔ {\displaystyle \mathbb {R} ^{n}.} مؤخر الذکر دو کی عمومیات کو دوبارہ بیان کرنے کی ضرورت نہیں ہے۔ پہلی تعریف کی ایک مناسب عمومیت یہ ہے: D {\displaystyle D} کو R n کا سب سیٹ ہونے دیں۔ {\displaystyle \mathbb {R} ^{n}.} ایک فنکشن f : D → R {\displaystyle f\colon D\to \mathbb {R} } ترتیب وار شمار ہوتا ہے اگر، ہر n {\displaystyle n} کے لیے - ٹوپلیٹ ( { x i 1 } i = 1 ∞ , … { x i n } i = 1 ∞ ) {\displaystyle \left(\{x_{i\,1}\__{i=1}^{\infty},\ ldots \{x_{i\,n}\}_{i=1}^{\infty }\right)} حقیقی اعداد کی شماریاتی ترتیب کے جیسے کہ ( ∀ i ) ( x i 1 , … x i n ) ∈ D , { \displaystyle (\forall i)\quad (x_{i\,1},\ldots x_{i\,n})\in D\qquad ,} ترتیب { f ( x i ) } i = 1 ∞ {\displaystyle \{f(x_{i})\__{i=1}^{\infty }} بھی قابل شمار ہے۔ اس آرٹیکل میں PlanetMath پر کمپیوٹیبل ریئل فنکشن سے مواد شامل کیا گیا ہے، جو Creative Commons Attribution/Share-Alike لائسنس کے تحت لائسنس یافتہ ہے۔
کمپیوٹیبل_سیٹ/ کمپیوٹیبل سیٹ:
کمپیوٹیبلٹی تھیوری میں، قدرتی نمبروں کے ایک سیٹ کو کمپیوٹیبل، ریکسریو یا فیصلہ کن کہا جاتا ہے اگر کوئی الگورتھم ہو جو ایک عدد کو بطور ان پٹ لیتا ہے، ایک مقررہ وقت کے بعد ختم ہوجاتا ہے (ممکنہ طور پر دیے گئے نمبر پر) اور صحیح طریقے سے فیصلہ کرتا ہے کہ آیا نمبر سیٹ سے تعلق رکھتا ہے یا نہیں؟ ایک سیٹ جو قابل شمار نہ ہو اسے نان کمپیوٹیبل یا ناقابل فیصلہ کہا جاتا ہے۔ کمپیوٹیبل کے مقابلے سیٹوں کی ایک زیادہ عام کلاس کمپیوٹیبل قابل شمار (سی) سیٹوں پر مشتمل ہوتی ہے، جسے سیمیڈیڈی ایبل سیٹ بھی کہا جاتا ہے۔ ان سیٹوں کے لیے صرف یہ ضروری ہے کہ ایک الگورتھم ہو جو صحیح طور پر فیصلہ کرے کہ سیٹ میں نمبر کب ہے۔ الگورتھم سیٹ میں موجود نمبروں کے لیے کوئی جواب نہیں دے سکتا (لیکن غلط جواب نہیں)۔
Computable_topology/Computable Topology:
کمپیوٹیبل ٹوپولوجی ریاضی کا ایک ایسا شعبہ ہے جو حساب کی ٹاپولوجیکل اور الجبری ساخت کا مطالعہ کرتا ہے۔ کمپیوٹیبل ٹوپولوجی کو الگورتھمک یا کمپیوٹیشنل ٹوپولوجی کے ساتھ الجھایا نہیں جانا چاہئے، جو ٹوپولاجی میں کمپیوٹیشن کے اطلاق کا مطالعہ کرتی ہے۔
کمپیوٹیبل_گنتی/قابل شماری:
کمپیوٹیبلٹی تھیوری میں، قدرتی نمبروں کے ایک سیٹ کو شماریاتی طور پر شمار کرنے کے قابل (سی)، تکراری طور پر شمار کرنے کے قابل (دوبارہ)، نیم فیصلہ کرنے کے قابل، جزوی طور پر فیصلہ کرنے کے قابل، قابل فہرست، قابل ثابت یا ٹیورنگ قابل شناخت کہا جاتا ہے اگر: ایک الگورتھم اس طرح ہے کہ ان پٹ نمبروں کا سیٹ جو الگورتھم روکتا ہے وہ بالکل S.Or ہے، مساوی طور پر، ایک الگورتھم ہے جو S کے اراکین کو شمار کرتا ہے۔ اس کا مطلب ہے کہ اس کا آؤٹ پٹ صرف S: s1, s2, s3, ... کے تمام اراکین کی فہرست ہے۔ اگر S لامحدود ہے، تو یہ الگورتھم ہمیشہ کے لیے چلے گا۔ پہلی شرط یہ بتاتی ہے کہ سیمی ڈیسیڈیبل کی اصطلاح بعض اوقات کیوں استعمال کی جاتی ہے۔ زیادہ واضح طور پر، اگر کوئی نمبر سیٹ میں ہے، تو کوئی بھی الگورتھم چلا کر اس کا فیصلہ کر سکتا ہے، لیکن اگر نمبر سیٹ میں نہیں ہے، تو الگورتھم ہمیشہ کے لیے چلتا ہے، اور کوئی معلومات واپس نہیں کی جاتی ہیں۔ ایک سیٹ جو "مکمل طور پر قابل فیصلہ" ہے ایک کمپیوٹیبل سیٹ ہے۔ دوسری شرط بتاتی ہے کہ کمپیوٹیبلی اینیومر ایبل کیوں استعمال کیا جاتا ہے۔ مخففات ce اور re اکثر استعمال ہوتے ہیں، یہاں تک کہ پرنٹ میں بھی، مکمل فقرے کی بجائے۔ کمپیوٹیشنل کمپلیکٹی تھیوری میں، کمپیٹیبلٹی کلاس جس میں تمام کمپیوٹیبل قابل شمار سیٹ ہوتے ہیں وہ RE ہے۔ تکرار نظریہ میں، شمولیت کے تحت CE سیٹوں کی جالی E {\displaystyle {\mathcal {E}}} سے ظاہر ہوتی ہے۔
Computably_inseparable/Computably inseparable:
کمپیوٹیبلٹی تھیوری میں، قدرتی نمبروں کے دو متضاد سیٹوں کو کمپیوٹیبل طور پر لازم و ملزوم یا تکراری طور پر لازم و ملزوم کہا جاتا ہے اگر وہ ایک کمپیوٹیبل سیٹ کے ساتھ "علیحدہ" نہیں ہوسکتے ہیں۔ یہ سیٹ خود کمپیوٹیبلٹی تھیوری کے مطالعہ میں پیدا ہوتے ہیں، خاص طور پر Π01 کلاسوں کے سلسلے میں۔ Gödel کے نامکمل نظریہ کے مطالعہ میں بھی کمپیوٹیبل طور پر لازم و ملزوم سیٹ پیدا ہوتے ہیں۔
Computacenter/Computacenter:
Computacenter plc ایک برطانوی ملٹی نیشنل کمپنی ہے جو پبلک اور پرائیویٹ سیکٹر کے صارفین کو کمپیوٹر سروسز فراہم کرتی ہے۔ یہ برطانیہ کی ایک کمپنی ہے جو Hatfield، Hertfordshire میں واقع ہے۔ کمپنی لندن اسٹاک ایکسچینج میں درج ہے اور FTSE 250 انڈیکس کا ایک جزو ہے۔
Computaci%C3%B3n_y_Sistemas/Computación y Systemas:
Computación y Sistemas مصنوعی ذہانت اور کمپیوٹنگ سائنس کی تحقیق پر ایک ہم مرتبہ جائزہ ہے جو لاطینی امریکہ میں کمپیوٹر سائنس کے شعبے میں تحقیق کے لیے ایک تسلیم شدہ فورم فراہم کرتا ہے۔ اسے 1997 میں پروفیسر ایڈولفو گزمین ایرینا نے قائم کیا تھا اور اسے CONACyT کے تعاون سے Instituto Politécnico Nacional نے شائع کیا ہے۔
Computaris/Computaris:
Computaris ایک برطانیہ میں قائم کمپنی ہے جس کی ملکیت R Systems گروپ ہے جو سافٹ ویئر ڈویلپمنٹ، سسٹم انٹیگریشن اور تکنیکی مشاورتی خدمات فراہم کرتی ہے۔ Computaris پولینڈ، رومانیہ، مالڈووا، USA، ملائیشیا، فلپائن اور ہندوستان میں برانچ آفس سے کام کرتا ہے۔ Computaris کنورجنٹ بلنگ، میسجنگ، SDP، VAS، پروویژننگ، ثالثی، درجہ بندی اور چارجنگ، سروس مینجمنٹ، موبائل کامرس، موبائل پیمنٹ سسٹم، IN (SCP اور IN پروٹوکول)، نیکسٹ جنریشن سروسز، پالیسی مینجمنٹ، بزنس جیسے شعبوں میں سرگرم ہے۔ جی ایس ایم نیٹ ورک عناصر کے ساتھ ذہانت اور انضمام
گنتی/ حساب کتاب:
حساب کتاب کسی بھی قسم کا ریاضی یا غیر ریاضی کا حساب ہے جو ایک اچھی طرح سے متعین ماڈل (مثلاً، الگورتھم) کی پیروی کرتا ہے۔ مکینیکل یا الیکٹرانک آلات (یا، تاریخی طور پر، لوگ) جو کمپیوٹیشن انجام دیتے ہیں انہیں کمپیوٹر کہا جاتا ہے۔ کمپیوٹیشن کے مطالعہ کا ایک خاص طور پر معروف ڈسپلن کمپیوٹر سائنس ہے۔
کمپیوٹیشن_اور_نیورل_سسٹمز/کمپیوٹیشن اور عصبی نظام:
کمپیوٹیشن اینڈ نیورل سسٹمز (CNS) پروگرام کیلیفورنیا انسٹی ٹیوٹ آف ٹیکنالوجی میں 1986 میں پی ایچ ڈی کی تربیت کے مقصد کے ساتھ قائم کیا گیا تھا۔ نیوران نما سرکٹس/نیٹ ورکس کی ساخت اور اس طرح کے نظاموں میں انجام پانے والے کمپیوٹیشنز کے درمیان تعلق کو تلاش کرنے میں دلچسپی رکھنے والے طلباء، چاہے قدرتی ہو یا مصنوعی۔ یہ پروگرام انجینئرز، نیورو سائنسدانوں، اور نظریاتی ماہرین کے درمیان خیالات کے تبادلے اور تعاون کو فروغ دینے کے لیے ڈیزائن کیا گیا تھا۔
Computation_history/ حساب کی تاریخ:
کمپیوٹر سائنس میں، ایک حساب کی تاریخ ایک تجریدی مشین کی طرف سے اس کے نتائج کی گنتی کے عمل میں اٹھائے گئے اقدامات کا ایک سلسلہ ہے۔ بعض مشینوں کی صلاحیتوں اور خاص طور پر مختلف رسمی زبانوں کی غیر فیصلہ کن صلاحیتوں کے بارے میں ثبوتوں میں شماریاتی تاریخیں کثرت سے استعمال ہوتی ہیں۔ رسمی طور پر، ایک حساب کی تاریخ ایک رسمی آٹومیٹن کی ترتیب کا ایک (عام طور پر محدود) تسلسل ہے۔ ہر ترتیب ایک خاص نقطہ پر مشین کی حیثیت کو مکمل طور پر بیان کرتی ہے۔ درست ہونے کے لیے، کچھ شرائط کا ہونا ضروری ہے: پہلی کنفیگریشن آٹومیٹن کی ایک درست ابتدائی ترتیب ہونی چاہیے اور ملحقہ کنفیگریشنز کے درمیان ہر ٹرانزیشن کو آٹو میٹن کے ٹرانزیشن قوانین کے مطابق درست ہونا چاہیے۔ محدود ہونا اور حتمی کنفیگریشن آٹومیٹن کی ایک درست ٹرمینل کنفیگریشن ہونی چاہیے۔ "درست ابتدائی ترتیب"، "درست منتقلی"، اور "درست ٹرمینل ترتیب" کی تعریفیں مختلف قسم کی رسمی مشینوں کے لیے مختلف ہوتی ہیں۔ ایک متعین آٹومیٹن کی دی گئی ابتدائی ترتیب کے لیے بالکل ایک حسابی تاریخ ہوتی ہے، حالانکہ تاریخ لامحدود اور اس لیے نامکمل ہو سکتی ہے۔
حد میں_کمپیوٹیشن/کمپیوٹیشن حد میں:
کمپیوٹیبلٹی تھیوری میں، کسی فنکشن کو حد کمپیوٹیبل کہا جاتا ہے اگر یہ فنکشنز کے یکساں حسابی ترتیب کی حد ہو۔ حد میں کمپیوٹیبل اصطلاحات، حد تکراری اور تکراری طور پر قریب قریب بھی استعمال ہوتی ہیں۔ کوئی بھی کمپیوٹیبل فنکشنز کو محدود کرنے کے بارے میں سوچ سکتا ہے کیونکہ وہ لوگ جو اپنی حقیقی قدر پر آخرکار درست کمپیوٹیبل اندازہ لگانے کے طریقہ کار کو تسلیم کرتے ہیں۔ ایک سیٹ صرف اس وقت حد کمپیوٹیبل ہوتا ہے جب اس کی خصوصیت کا فنکشن حد کمپیوٹیبل ہو۔ اگر ترتیب D کے مقابلے میں یکساں طور پر شمار کرنے کے قابل ہے، تو فنکشن D میں کمپیوٹیبل حد ہے۔
سائکلک_ریڈنڈنسی_چیکوں کی_کامپوٹیشن/سائیکلک فالتو جانچ کی گنتی:
ایک سائیکلک فالتو پن کی جانچ کی گنتی کثیر الثانی تقسیم کی ریاضی سے ماخوذ ہے، ماڈیولو ٹو۔ عملی طور پر، یہ بائنری میسج سٹرنگ کی طویل تقسیم سے مشابہت رکھتا ہے، جس میں صفر کی ایک مقررہ تعداد شامل ہوتی ہے، "جنریٹر کثیر الثانی" سٹرنگ کے ذریعے، سوائے اس کے کہ خصوصی یا آپریشنز گھٹاؤ کی جگہ لے لیتے ہیں۔ اس قسم کی تقسیم کو ہارڈ ویئر میں ایک ترمیم شدہ شفٹ رجسٹر کے ذریعے، اور سافٹ ویئر میں مساوی الگورتھم کی ایک سیریز کے ذریعے، ریاضی کے قریب سادہ کوڈ سے شروع ہوتا ہے اور بائٹ وار متوازی اور جگہ کے ذریعے تیز تر (اور زیادہ مبہم) ہوتا ہے۔ وقت کی تجارت. سی آر سی کے مختلف معیارات ابتدائی شفٹ رجسٹر ویلیو، ایک حتمی Exclusive-یا قدم اور، سب سے زیادہ تنقیدی طور پر، تھوڑا سا ترتیب دینے (endianness) کی وضاحت کر کے کثیر الثانی ڈویژن الگورتھم کو بڑھاتے ہیں۔ نتیجے کے طور پر، عملی طور پر نظر آنے والا کوڈ "خالص" تقسیم سے الجھا ہوا ہے، اور رجسٹر بائیں یا دائیں منتقل ہو سکتا ہے۔
کمپیوٹیشن_کا_ریڈیو ویو_اٹنیویشن_ان_ماحول میں/ماحول میں ریڈیو ویو کی کشندگی کا حساب:
فضا میں ریڈیو ویو کی کشندگی کی گنتی ریڈیو پروپیگیشن ماڈلز اور طریقوں کا ایک سلسلہ ہے جس کے مختلف اجزاء کو جذب کرکے فضا سے گزرنے والے سگنل کی کشندگی کی وجہ سے راستے کے نقصان کا اندازہ لگایا جاسکتا ہے۔ نصابی کتابوں میں رجحان اور معیار کے علاج کے بارے میں بہت سے معروف حقائق موجود ہیں۔ بین الاقوامی ٹیلی کمیونیکیشن یونین (ITU) کی طرف سے شائع کردہ ایک دستاویز کشندگی کی مقداری تشخیص کے لیے کچھ بنیاد فراہم کرتی ہے۔ وہ دستاویز ڈیٹا فٹنگ پر مبنی نیم تجرباتی فارمولوں کے ساتھ ایک آسان ماڈل کی وضاحت کرتی ہے۔ اس نے فضا میں ریڈیو ویو کے پھیلاؤ کی کشندگی کا حساب لگانے کے لیے الگورتھم کی بھی سفارش کی۔ ناسا نے ایک متعلقہ موضوع پر ایک مطالعہ بھی شائع کیا۔ ITU-R کی سفارشات پر مبنی CNES سے مفت سافٹ ویئر ڈاؤن لوڈ کے لیے دستیاب ہے اور عوام کے لیے دستیاب ہے۔
وقت کی_سماعت/وقت کی گنتی:
وقت کی گنتی سے رجوع ہوسکتا ہے: وقت کی گنتی (کیتھولک کینن قانون) وقت کی گنتی (قانون)
وقت_کا_حساب_(کیتھولک_کینن_قانون)/وقت کا حساب (کیتھولک کینن قانون):
کیتھولک چرچ کے کینن قانون میں، وقت کی گنتی، جس کا ترجمہ وقت کا حساب (لاطینی: supputatio temporis) بھی کیا جاتا ہے، وہ طریقہ ہے جس کے ذریعے قانونی طور پر متعین مدتوں کا حساب کتاب کے اصولوں کے مطابق کیا جاتا ہے۔ وقت کی گنتی قوانین کے اطلاق میں اکثر وقت کا سوال شامل ہوتا ہے: عام طور پر ان کے نافذ ہونے کے بعد ان کے نافذ ہونے سے پہلے تین ماہ گزرنے چاہئیں۔ کچھ ذمہ داریوں کو کچھ دنوں، یا ہفتوں، یا مہینوں میں پورا کرنا ہوتا ہے۔ اس لیے وقت کی گنتی کے لیے قواعد کی ضرورت ہے۔ 1917 کے ضابطہ اور 1983 کے اصلاح شدہ ضابطہ کے ساتھ، قانون ساز نے ان قواعد کو واضح اور درستگی کے ساتھ وضع کیا ہے جو پہلے کبھی نہیں تھا۔
وقت_کا_حساب_(قانون)/وقت کا حساب (قانون):
وقت کی گنتی یا وقت کا حساب کتاب ایک قانونی اصطلاح ہے جو یہ بتاتی ہے کہ قانون میں وقت کا حساب کیسے لیا جاتا ہے۔
Computation_offloading/Computation offloading:
کمپیوٹیشن آف لوڈنگ وسائل کے گہرے کمپیوٹیشنل کاموں کی ایک علیحدہ پروسیسر، جیسے کہ ہارڈویئر ایکسلریٹر، یا ایک بیرونی پلیٹ فارم، جیسے کلسٹر، گرڈ، یا کلاؤڈ میں منتقلی ہے۔ ایک کاپروسیسر پر آف لوڈنگ کو ایپلی کیشنز کو تیز کرنے کے لیے استعمال کیا جا سکتا ہے بشمول: امیج رینڈرنگ اور ریاضی کا حساب۔ کسی نیٹ ورک پر کسی بیرونی پلیٹ فارم پر کمپیوٹنگ کو آف لوڈ کرنا کمپیوٹنگ کی طاقت فراہم کر سکتا ہے اور ڈیوائس کی ہارڈ ویئر کی حدود پر قابو پا سکتا ہے، جیسے محدود کمپیوٹیشنل پاور، اسٹوریج اور توانائی۔
Computation_tree/Computation Tree:
ایک کمپیوٹیشن ٹری ایک مخصوص ان پٹ پر نان ڈیٹرمنسٹک ٹورنگ مشین کے حسابی مراحل کی نمائندگی کرتا ہے۔ حسابی درخت نوڈس اور کناروں کا جڑوں والا درخت ہے۔ درخت میں ہر نوڈ ایک واحد کمپیوٹیشنل حالت کی نمائندگی کرتا ہے، جبکہ ہر کنارہ اگلے ممکنہ حساب میں منتقلی کی نمائندگی کرتا ہے۔ درخت کے نوڈس کی تعداد درخت کا سائز ہے اور جڑ سے دیئے گئے نوڈ تک راستے کی لمبائی نوڈ کی گہرائی ہے۔ آؤٹ پٹ نوڈ کی سب سے بڑی گہرائی درخت کی گہرائی ہے۔ درخت کی پتیوں کو آؤٹ پٹ نوڈس کہا جاتا ہے۔ فیصلے کے مسئلے کے لیے حسابی درخت میں، ہر آؤٹ پٹ نوڈ پر ہاں یا نہیں کا لیبل لگایا جاتا ہے۔ اگر درخت، T، ان پٹ اسپیس کے ساتھ X، اگر x ∈ X {\displaystyle x\in X} اور x کا راستہ نوڈ پر ختم ہوتا ہے۔ ہاں کا لیبل لگا ہوا ہے، پھر ان پٹ ایکس کو قبول کیا جاتا ہے۔ بصورت دیگر اسے مسترد کر دیا جاتا ہے۔ دیے گئے ان پٹ کے لیے حسابی درخت کی گہرائی اس ان پٹ پر ٹورنگ مشین کے لیے حساب کا وقت ہے۔ کمپیوٹیشنل جیومیٹری اور حقیقی نمبر کے حسابات میں مسائل کی کمپیوٹیشنل پیچیدگی کا مطالعہ کرنے کے لیے بھی کمپیوٹیشن ٹری استعمال کیے گئے ہیں۔
Computation_tree_logic/Computation Tree logic:
کمپیوٹیشن ٹری لاجک (CTL) ایک برانچنگ ٹائم منطق ہے، مطلب یہ ہے کہ اس کا وقت کا ماڈل ایک درخت جیسا ڈھانچہ ہے جس میں مستقبل کا تعین نہیں کیا جاتا ہے۔ مستقبل میں مختلف راستے ہیں، جن میں سے کوئی ایک حقیقی راستہ ہو سکتا ہے جس کا احساس ہو گیا ہے۔ یہ سافٹ ویئر یا ہارڈویئر نمونے کی رسمی توثیق میں استعمال ہوتا ہے، عام طور پر سافٹ ویئر ایپلی کیشنز کے ذریعے جسے ماڈل چیکرس کہا جاتا ہے، جو اس بات کا تعین کرتے ہیں کہ آیا کسی دیے گئے نمونے میں حفاظت یا جاندار خصوصیات ہیں۔ مثال کے طور پر، CTL یہ بتا سکتا ہے کہ جب کچھ ابتدائی حالت مطمئن ہو جاتی ہے (مثال کے طور پر، پروگرام کے تمام متغیر مثبت ہیں یا ہائی وے پر دو لین میں کوئی کار نہیں ہے)، تو پروگرام کے تمام ممکنہ عمل کسی ناپسندیدہ حالت سے بچتے ہیں (مثلاً، کسی نمبر کو اس سے تقسیم کرنا ہائی وے پر صفر یا دو کاریں آپس میں ٹکرا رہی ہیں)۔ اس مثال میں، حفاظتی جائیداد کی تصدیق ایک ماڈل چیکر کے ذریعے کی جا سکتی ہے جو ابتدائی حالت کو پورا کرنے والے پروگرام ریاستوں سے باہر تمام ممکنہ ٹرانزیشنز کو تلاش کرتا ہے اور اس بات کو یقینی بناتا ہے کہ اس طرح کی تمام سزائیں جائیداد کو مطمئن کرتی ہیں۔ کمپیوٹیشن ٹری لاجک کا تعلق دنیاوی منطق کی ایک کلاس سے ہے جس میں لکیری وقتی منطق (LTL) شامل ہے۔ اگرچہ صرف CTL میں ظاہر ہونے والی خصوصیات ہیں اور صرف LTL میں قابل اظہار خصوصیات ہیں، تاہم کسی بھی منطق میں ظاہر ہونے والی تمام خصوصیات CTL* میں بھی ظاہر کی جا سکتی ہیں۔ CTL سب سے پہلے ایڈمنڈ ایم کلارک اور ای ایلن ایمرسن نے 1981 میں تجویز کیا تھا، جنہوں نے اسے نام نہاد ہم آہنگی کے ڈھانچے کی ترکیب کے لیے استعمال کیا، یعنی ہم آہنگی کے پروگراموں کے تجرید۔
دماغ کی کمپیوٹیشنل-ریپریزنٹیشنل_فہم_آف_مائنڈ/کمپیوٹیشنل-ریپریزنٹیشنل تفہیم:
دماغ کی کمپیوٹیشنل نمائندگی کی تفہیم (CRUM) علمی سائنس میں ایک مفروضہ ہے جو تجویز کرتا ہے کہ سوچ کی کارکردگی نمائندگی پر کام کرنے والے کمپیوٹنگ کے ذریعہ کی جاتی ہے۔ یہ مفروضہ فرض کرتا ہے کہ ذہن کی ذہنی نمائندگی ڈیٹا کے ڈھانچے اور الگورتھم کے مشابہ کمپیوٹیشنل طریقہ کار سے ہوتی ہے، جیسے کہ ڈیٹا ڈھانچے پر لاگو الگورتھم کا استعمال کرتے ہوئے کمپیوٹر پروگرام دماغ اور اس کے عمل کو ماڈل بنا سکتے ہیں۔ بشمول منطق، اصول، تصور، تشبیہ، تصویر، اور مصنوعی اعصابی نیٹ ورکس پر مبنی کنکشن پر مبنی نظام۔ یہ CRUM تھیوری کے نمائندگی کے پہلوؤں کے طور پر کام کرتے ہیں جن پر انسانی ادراک کے بعض پہلوؤں کی تقلید کے لیے عمل کیا جاتا ہے، جیسے کہ نیورو اکنامکس میں اصول پر مبنی نظام کا استعمال۔ اس مفروضے پر بہت زیادہ اختلاف ہے، لیکن کچھ محققین کے درمیان CRUM کا بہت احترام ہے۔ فلسفی پال تھاگارڈ نے اسے "ذہن کے لیے اب تک کا سب سے زیادہ نظریاتی اور تجرباتی طور پر کامیاب طریقہ" قرار دیا۔
کمپیوٹیشنل_بیولوجی_اور_کیمسٹری/کمپیوٹیشنل بیالوجی اور کیمسٹری:
کمپیوٹیشنل بائیولوجی اینڈ کیمسٹری ایک ہم مرتبہ نظرثانی شدہ سائنسی جریدہ ہے جسے ایلسیویئر نے شائع کیا ہے جس میں کمپیوٹیشنل لائف سائنسز کے تمام شعبوں کا احاطہ کیا گیا ہے۔ موجودہ ایڈیٹر انچیف وینٹین لی (فائن اسٹائن انسٹی ٹیوٹ فار میڈیکل ریسرچ) اور ڈونلڈ ہیملبرگ (جارجیا اسٹیٹ یونیورسٹی) ہیں۔ یہ جریدہ 1976 میں کمپیوٹر اور کیمسٹری کے نام سے قائم کیا گیا تھا۔ اس نے اپنا موجودہ ٹائٹل 2003 میں اینڈریز کے کونوپکا اور جیمز کربل (یونیورسٹی آف بیڈ فورڈ شائر) کی ادارت میں حاصل کیا۔