الاستدلال بالتراجع

ما يطلبه منك البرنامج

• إثبات خاصية بالتراجع (التهيئة + الوراثة + الاستنتاج)
• إثبات الحدودية أو الرتابة بالتراجع

القوانين

• P(n₀) صحيحة و P(n)⇒ P(n+1) ⇒ P(n) صحيحة لكل n≥ n₀

نوع التمرين الذي يأتي في الباك

• إثبات حدودية أو رتابة متتالية بالتراجع متوسط

  إثبات بالتراجع أن 0<u_n<... أو أن المتتالية متزايدة، استعمال فرض التراجع في الوراثة

من الدرس

نريد أن نُثبت أنّ خاصية ما صحيحة من أجل كلّ عدد طبيعي n: من أجل 0، ومن أجل 1، ومن أجل 2، وهكذا بلا نهاية. لا يمكننا التحقّق منها واحدة واحدة. فكيف نضمن أنّها تصمد إلى ما لا نهاية؟

المصطلحات

• تراجع
• تهيئة
• وراثة

يُبنى على

• توليد متتالية و دراسة الرتابة و التخمين البياني