الدوال أو الاقترانات تمثل العلاقة التي تجمع العنصر من مجموعة المجال X مع عنصر واحد فقط من مجموعة المستقر (المجال المقابل) Y. وتنص فرضية تورنغ أن أي دالة لها خوارزمية يمكن حسابها، فإن الدوال الحسابية هي الدوال التي يمكن لنا أن نحسبها باستخدام أدوات حساب ميكانيكية بفرضنا وجود كمية غير محدودة من مساحة التخزين والوقت.
62 مشاهدة
