Effektive usul. Mantiq, matematika va informatika fanlarida, ayniqsa metalogika va hisoblash nazariyasida samarali usul - bu muayyan sinfdan har qanday intuitiv "samarali" vositalar bilan muammoni hal qilish tartibi. Samarali usul ba'zan mexanik usul yoki tartib deb ham ataladi. Ta'rif. Samarali usulning ta'rifi usulning o'zidan ko'proq narsani o'z ichiga oladi. Usulni samarali deb atash uchun uni muammolar sinfiga ]qarab ko'rib chiqish kerak. Shu sababli, bitta usul muammolarning bir sinfiga nisbatan samarali bo'lishi mumkin va boshqa sinfga nisbatan samarali "bo'lmasligi" mumkin. Usul ushbu mezonlarga javob bersa, rasmiy ravishda muammolar sinfi uchun samarali deb ataladi: Majburiy emas, shuningdek, metod o'z sinfidan "tashqaridagi" muammoga qo'llanilganda, u javob kabi hech qachon natijani qaytarmasligi talab qilinishi mumkin. Ushbu talabni qo'shish samarali usul mavjud bo'lgan sinflar to'plamini kamaytiradi. Algoritmlar. Funtsiya qiymatlarini hisoblashning samarali usuli bu algoritmdir. Samarali usul mavjud bo'lgan funksiyalar ba'zan samarali hisoblangan deb ataladi. Hisoblash funksiyalari. Samarali hisoblashning rasmiy tavsifini berish bo'yicha bir nechta mustaqil harakatlar taklif qilingan va ular turli xil ta'riflarga olib keldi (umumiy rekursiv funksiyalar, Tyuring mashinalari, λ-hisoblar ) keyinchalik ular ekvivalent ekanligi ko'rsatildi. Ushbu ta'riflar tomonidan qo'lga kiritilgan tushuncha rekursiv yoki samarali hisoblash sifatida tanilgan. Cherkov-Tyuring tezisida aytilishicha, bu ikki tushuncha bir-biriga mos keladi: samarali hisoblab chiqiladigan har qanday son - nazariy funksiyada rekursiv hisoblanishi mumkin. Bu matematik bayonot emasligi sababli, uni matematik dalil bilan isbotlab bo'lmaydi.