اطلاعات مرتبط با تیتر زیر را جمع‌آوری کنید و یک خبر کوتاه بنویسید

تیتر: استقرای ساختاری
خبر:
استقرای ساختاری روشی است که برای اثبات کردن قضایا از آن استفاده می‌شود که در منطق ریاضی (به عنوان مثال ، در اثبات قضیه لس) ، علوم کامپیوتر ، نظریه گراف ، و برخی دیگر از زمینه‌های ریاضی کاربرد دارد . این استقرا یک تعمیم از استقراء ریاضی روی اعداد طبیعی است ، و می‌تواند به‌طور قراردادی به استقرای noetherian تعمیم داده شود . روش بازگشت ساختاری یک روش بازگشتی است که ارتباط آن با استقرای ساختاری همانند ارتباط یک رابطه بازگشتی ساده با یک رابطه استقرای ریاضی ساده است . استقرای ساختاری برای اثبات برخی گزاره‌های (p (x ، که به ازای همهٔ xهای نوعی از ساختارهای تعریف شده به صورت بازگشتی مانند لیست‌ها یا درختان صحیح است ، استفاده می‌شود .