كتب مبرهنة الاستدعاء الذاتي
اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
# الاستدعاء الذاتي في الرياضيات
# الاستدعاء الذاتي في علم الحاسوب
# برامج الاستدعاء الذاتي
# تعريف باستعمال الاستدعاء الذاتي
# الاستدعاء الذاتي هياكل بيانات
# مبرهنة فيرما الأخيرة
# مبرهنة النهاية المركزية
# مبرهنة فيثاغورس
# المبرهنة الأساسية في الجبر
# المبرهنة الأساسية في الحسابيات
# المبرهنة الأساسية للتفاضل والتكامل
# مبرهنة طاليس
# مبرهنة كانتور
# مبرهنة بيكار ليندلوف
# مبرهنة ذو الحدين
# مبرهنة لامي
# مبرهنة آبل
# مبرهنة أبولونيوس
# مبرهنة أبي عبد الإله
# مبرهنة أبيري
عرض المزيد
المصدر: wikipedia.org
مبرهنة الاستدعاء الذاتي (معلومة)
في نظرية المجموعات، هذه مبرهنة التي تضمن وجود دوال معرفة بالاستدعاء الذاتي. بإعطاء مجموعة X، عنصر a في X ودالة ، تنص المبرهنة أنه هنالك دالة مميزة (حيث أن ترمز مجموعة الأعداد الطبيعية شاملة الصفر) بحيث أن:
لأي عدد طبيعي n.
برهان التميز
لتكن و دالتين بحيث أن:
بحث أن a هو عنصر في X.
بالإمكان البرهنة بالاستقراء أن لكل الأعداد الطبيعية n:
- الأساس: وبالتالي فإن المساواة تنطبق أيضا على .
- خطوة الاستقراء: لنفرض أن لبعض . إذن
- ومن هنا F(k) = G(k) يؤدي إلى F(k+1) = G(k+1).
بالاسقراء , لكل .
أمثلة
بعض العلاقات العودية الشائعة:
