پاسخ : استقرا قوی
سلام، من هم در مورد استقراء ریاضی سوالی دارم به ناچار در این قسمت مینویسم من تازه عضو شدم و ازتون میخوام راهنمایی کنید سوالاتم رو در کدوم قسمت باید بنویسم و بفرستم؟
از مدیریت محترم سایت هم پرسیدم اما نمی دونم پیامم شاید ارسال نشد.
سوالم اینه که استادمون یک الگوریتم جستو جو نوشتند و گفتند با استفاده از جبر گزاره ها و استقراء ریاضی اثباتش کنید.
الگوریتم:
i=0
found= false
while(i<= n)
}
if(a[i[==item(
}
print i
found = true;
{
;++i
{
if(not found)
print "payda nashod" ;
حالا ایشون گفتند بر اساس استقراء ریاضی می توانیم بگوییم اگر در حلقه ی فوق تا تکرار i==k الگوریتم درست است«(found=true) , )fond=false(» در تکرار بعدی نیز الگوریتم درست خواهد بود. قضیه ی فوق را اثبات کنید.
سواله من این است که برام میشه توضیح بدید با استفاده از استقراء ریاضی و جبر گزاره ها چجوری این الگوریتم رو میتونم اثبات کنم ؟؟
با تشکر