Effective method
منطق، ریاضی اور کمپیوٹر سائنس میں، خاص طور پر میٹلجیک اور کمپیوٹیبلٹی تھیوری، ایک موثر طریقہ یا موثر طریقہ کار ایک مخصوص طبقے سے کسی بھی بدیہی طور پر 'موثر' ذرائع سے کسی مسئلے کو حل کرنے کا طریقہ کار ہے۔ ایک موثر طریقہ کو بعض اوقات مکینیکل طریقہ یا طریقہ کار بھی کہا جاتا ہے۔ تعریف ایک موثر طریقہ کی تعریف میں خود طریقہ سے زیادہ شامل ہوتا ہے۔ کسی طریقہ کو مؤثر کہنے کے لیے، اس پر مسائل کی ایک کلاس کے حوالے سے غور کیا جانا چاہیے۔ اس کی وجہ سے، ایک طریقہ مسائل کے ایک طبقے کے حوالے سے موثر ہو سکتا ہے اور دوسرے طبقے کے حوالے سے موثر نہیں ہو سکتا۔ ایک طریقہ کو باضابطہ طور پر مسائل کی ایک کلاس کے لیے موثر کہا جاتا ہے جب یہ ان معیارات کو پورا کرتا ہے: یہ درست، محدود ہدایات کی ایک محدود تعداد پر مشتمل ہوتا ہے۔ جب اسے اس کی کلاس کے کسی مسئلے پر لاگو کیا جاتا ہے: یہ ہمیشہ محدود تعداد میں مراحل کے بعد ختم (ختم) ہوتا ہے۔ یہ ہمیشہ درست جواب دیتا ہے۔ اصولی طور پر، یہ انسان تحریری مواد کے علاوہ کسی بھی مدد کے بغیر کر سکتا ہے۔ کامیابی کے لیے صرف اس کی ہدایات پر سختی سے عمل کرنے کی ضرورت ہے۔ دوسرے لفظوں میں، اسے کامیاب ہونے کے لیے کسی ذہانت کی ضرورت نہیں ہے۔ اختیاری طور پر، یہ بھی ضروری ہو سکتا ہے کہ طریقہ کبھی بھی نتیجہ واپس نہ کرے جیسے کہ یہ ایک جواب ہو جب طریقہ کار کو اس کی کلاس سے باہر کے مسئلے پر لاگو کیا جاتا ہے۔ اس ضرورت کو شامل کرنے سے کلاسوں کا مجموعہ کم ہو جاتا ہے جس کے لیے ایک موثر طریقہ موجود ہے۔ الگورتھم فنکشن کی اقدار کا حساب لگانے کا ایک موثر طریقہ الگورتھم ہے۔ جن افعال کے لیے ایک موثر طریقہ موجود ہے انہیں بعض اوقات مؤثر طریقے سے حساب کتاب کہا جاتا ہے۔ کمپیوٹیبل افعال مؤثر حساب کی رسمی خصوصیت دینے کی متعدد آزاد کوششوں کی وجہ سے مختلف قسم کی مجوزہ تعریفیں (عام تکراری افعال، ٹورنگ مشینیں، λ-کیلکولس) سامنے آئیں جو بعد میں مساوی دکھائی گئیں۔ ان تعریفوں سے حاصل ہونے والے تصور کو تکراری یا موثر کمپیوٹیبلٹی کے نام سے جانا جاتا ہے۔ چرچ ٹورنگ کے مقالے میں کہا گیا ہے کہ یہ دونوں تصورات ایک دوسرے سے مطابقت رکھتے ہیں: کوئی بھی نمبر تھیوریٹک فنکشن جو مؤثر طریقے سے حساب کتاب کے قابل ہے، بار بار قابل حساب ہے۔ چونکہ یہ ریاضیاتی بیان نہیں ہے، اس لیے اسے ریاضیاتی ثبوت سے ثابت نہیں کیا جا سکتا۔ فیصلہ سازی (منطق) فیصلہ سازی کا مسئلہ فنکشن کا مسئلہ نمبر تھیوری میں موثر نتائج تکراری سیٹ ناقابل فیصلہ کن مسئلہ حوالہ جات ایس سی کلین (1967)، ریاضیاتی منطق بھی دیکھیں۔ دوبارہ شائع شدہ، ڈوور، 2002، پی پی۔ 233 ایف ایف۔، خاص طور پر۔ پی۔ 232۔ دھاتی کمپیوٹیبلٹی تھیوری کمپیوٹیشن کا نظریہ