שיחה:תנאי שפה

"תנאי שפה" מחוץ למשוואות דיפרנציאליות

ב"מבוא לאלגוריתמים" של קורמן (עמ' 55, פרק 4.1, הוצאת האוניברסיטה הפתוחה), יש את המשפט הבא:

ההוכחה באינדוקציה מתמטית מחייבת אותנו להראות עתה שהפתרון שהצענו נכון עבור תנאי השפה. ככלל, אנו עושים זאת על ידי כך שאנו מראים כי תנאי השפה מתאימים לשמש בסיס לאינדוקציה.

כיצד להבין את המושג "תנאי שפה" בהקשר הזה? --טוסטי - שיחה 18:14, 27 בנובמבר 2011 (IST)