آزمایشگاه آزاد؛ بدون نیاز به ورود
استقرا چطور از یکی به همه می‌رسه؟
افتادن چند دومینو فقط یه تصویر از استقراست؛ نکته‌ی ریاضی اینه که پایه رو ثابت کنی و بعد نشون بدی هر گام، گام بعدی رو نتیجه می‌ده.
آزمایش رو شروع کناسلایدر قدرت گام رو عوض می‌کنه و اجرا رو بزن. اول دومینو رو روشن نگه دار؛ این مدل با مقدار ۰٫۸ یا بیش‌تر هر ۱۰ تا رو می‌اندازه و با مقدار کم‌تر فقط اولی رو.
آزمایشگاه در حال آماده شدنه…
حالا خودت امتحان کن
هر بار فقط یک چیز رو تغییر بده تا اثرش رو ببینی. قبل از اجرا، نتیجه رو حدس بزن.
پایه و گامِ محکم
اولی رو روشن بذار و قدرت گام رو روی ۰٫۹۵ تنظیم کن، بعد اجرا رو بزن. تعداد دومینوهای افتاده رو بخون.
حدست چیه؟ اگر پایه برقرار باشه و این مدل گام رو قوی حساب کنه، چند دومینو می‌افتن؟
توضیح نتیجه رو ببین
هر ۱۰ دومینو می‌افتن. این فقط تصویرِ دو بخش استقراست: برقرار بودن پایه و درست بودن گامِ کلی؛ دیدن افتادن دومینوها به‌تنهایی اثبات ریاضی نیست.
وقتی گام ضعیف فرض می‌شه
اولی رو روشن نگه دار و قدرت گام رو به ۰٫۷۵ برسون. دوباره اجرا کن و تعداد افتاده‌ها رو با دفعه‌ی قبل بسنج.
حدست چیه؟ در این مدل، اگر گام نتونه بعدی رو تضمین کنه، زنجیره تا کجا می‌ره؟
توضیح نتیجه رو ببین
فقط دومینوی اول می‌افته. مدل برای مقدار کم‌تر از ۰٫۸ ادامه‌ی زنجیره رو قبول نمی‌کنه؛ این مرزِ ساده‌شده، قانون واقعی احتمال نیست.
خودِ مرز ۸۰ درصد
قدرت گام رو دقیقاً روی ۰٫۸ بذار و اجرا رو بزن. نتیجه رو با ۰٫۷۵ مقایسه کن.
حدست چیه؟ آیا مقدار مرزی هم در این مدل برای افتادن همه کافی حساب می‌شه؟
توضیح نتیجه رو ببین
بله؛ شرط برنامه ۰٫۸ یا بیش‌تره، پس هر ۱۰ تا می‌افتن. در برهان استقرا باید گام برای هر حالتِ مجاز درست باشه؛ عدد ۰٫۸ فقط مرز قراردادی این تصویر است.
پشت این حرکت چه خبره؟
پایه‌ی استقرا
B => D_1
اول باید حالت شروع رو ثابت کنی. در تشبیه دومینوها یعنی افتادن دومینوی اول؛ در یک برهان واقعی باید گزاره رو برای اولین عدد یا حالت نشان بدی.
گام استقرا
D_k => D_(k+1), 1<=k<10
بعد فرض می‌کنی گزاره برای یک حالتِ دلخواه k درسته و ثابت می‌کنی برای حالت بعدی هم درسته. با این دو بخش، زنجیره تا هر تعداد متناهی از گام‌ها پیش می‌ره.
چرا زنجیره به همه می‌رسه؟
B AND (D_k => D_(k+1)) => D_10
اگر اولی بیفته و هر دومینو، دومینوی بعدی رو بندازه، دومی می‌افته، پس سومی، و همین‌طور تا دهمی. در ریاضی، «هر دومینو می‌اندازه بعدی رو» باید به شکل کلی ثابت بشه، نه فقط با نگاه کردن به چند نمونه.
سؤالت رو بپرس، جوابش رو هم ببین
وقتی توی چت دربارهٔ یک مفهوم درس می‌خونی، دستیار هوش مصنوعی می‌تونه شبیه‌سازی مرتبط رو کنار توضیحش نشون بده. پارامترها رو تغییر می‌دی و با کمک توضیح بعدی، نتیجه رو بهتر می‌فهمی.
شروع یادگیری با چتبرای ادامه در چت، وارد مسیر شروع و ورود می‌شی. نتیجهٔ این آزمایش به چت منتقل نمی‌شه.
نمونهٔ نمایشی از آموزش در چت
استقرا یعنی فقط چندتا نمونه رو پشت‌سرهم چک کنم؟
نه؛ باید دو چیز رو ثابت کنی: گزاره در حالت شروع درسته، و هر وقت برای یک حالت k درسته، برای حالت بعدی هم نتیجه می‌شه. این دوتا زنجیره رو راه می‌اندازن؛ آزمایش دومینو فقط کمک می‌کنه ایده رو ببینی.
سؤال‌های رایج
پایه‌ی استقرا دقیقاً چیه؟
حالت شروعیه که اول ثابت می‌کنی؛ مثلاً در استقرا روی عددهای طبیعی، بررسی می‌کنی گزاره برای اولین عددِ دامنه درسته. اگر پایه جا بیفته، گام‌های بعدی ازش شروع می‌شن.
گام استقرا چه چیزی رو ثابت می‌کنه؟
فرض می‌کنی گزاره برای یک k دلخواه درسته، بعد نشون می‌دی ازش درستیِ حالت k+1 به دست می‌آد. فرض باید برای هر k مجاز کار کنه، نه فقط یک عدد انتخابی.
قدرت گام در شبیه‌سازی یعنی احتمال؟
نه. با اینکه به شکل درصد دیده می‌شه، محاسبه‌ی این ابزار تصادفی نیست: از ۰٫۸ به بالا هر ۱۰ دومینو رو می‌اندازه و پایین‌تر از ۰٫۸ فقط اولی رو. این مرز برای مدل انتخاب شده.
افتادن دومینوها خودش برهان استقراست؟
نه؛ شکل فقط تمثیله. در ریاضی باید پایه و گامِ کلی رو با استدلال ثابت کنی. افتادن یک ردیف محدود از دومینوها، به‌تنهایی همه‌ی حالت‌های یک گزاره رو ثابت نمی‌کنه.