mathematical induction

💡 This is the principle of what is called “mathematical induction.”

این اصل همان چیزی است که «استقرای ریاضی» نامیده می‌شود.

💡 Therefore, the program is sound by the principle of mathematical induction.

بنابراین، این برنامه طبق اصل استقرای ریاضی صحیح است.

💡 I find this picture proof just as persuasive as a proof by mathematical induction.

من این اثبات تصویری را به اندازه اثبات با استفاده از استقرای ریاضی قانع‌کننده می‌دانم.

💡 If loop invariants remind you of mathematical induction, they should. 

اگر ثابت‌های حلقه شما را به یاد استقرای ریاضی می‌اندازند، باید هم همینطور باشند.